diff --git a/results/scripts/check-seq.bat b/results/scripts/check-seq.bat index eb70696..0dff7e5 100644 --- a/results/scripts/check-seq.bat +++ b/results/scripts/check-seq.bat @@ -12,6 +12,7 @@ set prefix=%1 set i=%2 if "X%prefix%"=="X" goto badargs if "X%i%"=="X" goto badargs +cls :next if not exist results\diffs\%prefix%%i%.txt goto no-such-diff echo.