diff options
Diffstat (limited to 'tests/runtest.bat')
-rw-r--r-- | tests/runtest.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/runtest.bat b/tests/runtest.bat index 73fae97..dc36666 100644 --- a/tests/runtest.bat +++ b/tests/runtest.bat @@ -6,8 +6,12 @@ if %3==_ goto noprereq if NOT EXIST %3.pass goto needprereq :noprereq +if EXIST %2.fail goto forcetest if EXIST %2.pass goto bypass +:forcetest +if EXIST %2.fail erase %2.fail + REM Make sure we start with only those files we expect to need if exist tmp\*.* echo y | erase tmp\*.* > nul: rmdir tmp |