diff options
author | 2011-02-23 02:09:02 +0000 | |
---|---|---|
committer | 2011-02-23 02:09:02 +0000 | |
commit | d84f8e27637ab950a44ba493151e62912e366291 (patch) | |
tree | 61f793c94f17c563bc395524184d35c8783491f7 | |
parent | 39f92cc78889a2f4748c89a91ce7680fc87d0fd4 (diff) |
Add workaround for cmd race
-rw-r--r-- | Test/runtest.bat | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Test/runtest.bat b/Test/runtest.bat index c86e4427..4b751a6c 100644 --- a/Test/runtest.bat +++ b/Test/runtest.bat @@ -6,6 +6,9 @@ echo ----- Running regression test %1 pushd %1
if not exist runtest.bat goto noRunTest
call runtest.bat -nologo -logPrefix:%1 %2 %3 %4 %5 %6 %7 %8 %9 > Output
+rem There seem to be some race between finishing writing to the Output file, and running fc.
+rem Calling fc twice seems to fix (or at least alleviate) the problem.
+fc /W Answer Output > nul
fc /W Answer Output > nul
if not errorlevel 1 goto passTest
echo %1 FAILED
|