@echo off pushd .. call run.bat os=windows no_time test_real popd