don't use gdb in the benchmark

diff --git a/the-big-benchmark.sh b/the-big-benchmark.sh
index 9f33ef655d183a478b6aecaf799906e9db45d871..959281c862f9592fc5229a96396d4a86aad8553a 100755 (executable)
--- a/the-big-benchmark.sh
+++ b/the-big-benchmark.sh
@@ -30,14 +30,14 @@ set -x
 rm -f data/benchmark.log
 ./all clean --reclone
 ./all compile -r
-./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//div0-stable || true
+USE_GDB=no ./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//div0-stable || true
 ./all clean -r -f
 (
        cd darkplaces
        git checkout master || git checkout -t origin/master || exit 1
 )
 ./all compile -r
-./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//master || true
+USE_GDB=no ./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//master || true
 ./all clean -r -f -u
 set +x