annotate mx.cmd @ 21479:2405d3b983cc

PrintWriter needs to be flushed more often than PrintStream
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Mon, 25 May 2015 09:09:07 +0200
parents 4023bae16d02
children 97ad67783fbb
rev   line source
christian@15418 1 python %~dp0/mxtool/mx.py %*