annotate domake @ 4217:f3271682fe5a

Various small fix around benchmarks in gate scripts
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Wed, 04 Jan 2012 19:57:51 +0100
parents 16dcfa497cff
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3726
16dcfa497cff Added domake again.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 mxtools/mx make
16dcfa497cff Added domake again.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
2 mxtools/mx --debug make
16dcfa497cff Added domake again.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
3