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