Mercurial > hg > truffle
diff mx/commands.py @ 7247:1706be855f0e
Use ThreadMXBean to get CPU time instead of Wallclock time for Timers if possible
Fix debug metric summary
Cosmetic alignement in GraalOptions
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Mon, 17 Dec 2012 16:38:48 +0100 |
parents | c356cab093bc |
children | 76c9023ed438 |