From 4e5c3b160a96ee1be61120e4a0addcc49a44d8b4 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Wed, 25 Jan 2012 20:05:03 +0100
Subject: [PATCH] some fixes for the benchmark batch file

---
 misc/tools/the-big-benchmark.bat | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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