annotate mx.cmd @ 8657:63400866de15

pipeline: include PushNodesThroughPi according to % mx vm -G:Meter= | grep NodesPushed 3774 nodes (836 ReadNodes, 2938 IsNullNodes) are pushed.
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 05 Apr 2013 16:23:01 +0200
parents 4023bae16d02
children 46c51b5d0abb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4190
bfae65ae6c1e Added mx.bat for Windows.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 python mxtool/mx.py %*