diff options
| -rwxr-xr-x | windows/tools/tooltest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/windows/tools/tooltest.bat b/windows/tools/tooltest.bat index feb20fc..3e4d0cb 100755 --- a/windows/tools/tooltest.bat +++ b/windows/tools/tooltest.bat @@ -299,7 +299,7 @@ echo %exefile% %flagout% %result% echo %exefile% %flagout% %result% >> ..\..\%tempResults% if "%result%"=="FAILED" ( - more ..\..\temp_fc.txt + ::more ..\..\temp_fc.txt more ..\..\temp_fc.txt >> ..\..\%tempResults% ) |