Mercurial > hg > truffle
diff make/jprt.gmk @ 5815:272f9da7ce78
Put Binary and xml dumpers behing a common interface and use the same dumphandler for them
Dumping to files should now work even with mutiple dumping threads
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Wed, 11 Jul 2012 14:36:32 +0200 |
parents | 109d1d265924 |
children | fe392af93c23 |