annotate upreckon.cmd @ 117:6bb59a011bcb

Wall-clock time is output when maxwalltime but not maxcputime now on Win32 too
author Oleg Oshmyan <chortos@inbox.lv>
date Sun, 10 Apr 2011 00:59:40 +0300
parents bd3fc9017f91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
93
bd3fc9017f91 Added upreckon.cmd for Windows users
Oleg Oshmyan <chortos@inbox.lv>
parents:
diff changeset
1 @ start /b /wait python "%~dpn0" %*