no-time.bat 65 Bytes
Newer Older
1 2 3 4
@echo off
pushd ..
call run.bat os=windows no_time test_real
popd