some fixes for the benchmark batch file

diff --git a/misc/tools/the-big-benchmark.bat b/misc/tools/the-big-benchmark.bat
index 7bac5cada335701475889cfe3c486d7f0d4c391e..41d6f68514e10d471607d9cdff3e47f00cc99b5e 100644 (file)
--- a/misc/tools/the-big-benchmark.bat
+++ b/misc/tools/the-big-benchmark.bat
@@ -6,9 +6,8 @@ echo The Big Benchmark
 echo  =================\r
 echo.\r
 if not exist all goto nogit\r
-echo The ./all script was detected here.\r
-echo Please use the-big-benchmark.sh instead!\r
-exit\r
+echo For Git builds, please use the-big-benchmark.sh instead!\r
+goto end\r
 :nogit\r
 del data\benchmark.log\r
 del data\engine.log\r
@@ -54,4 +53,5 @@ echo  - graphics driver version
 echo  - the file benchmark.log in the data directory\r
 echo\r
 echo Thank you\r
+:end\r
 pause\r