view 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
line wrap: on
line source

mxtools/mx make
mxtools/mx --debug make