From 73f6d0eab68a0822e28b4c61c0458473213db1ae Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Fri, 19 Nov 2010 13:49:49 +0100 Subject: [PATCH] don't use gdb in the benchmark --- the-big-benchmark.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/the-big-benchmark.sh b/the-big-benchmark.sh index 9f33ef65..959281c8 100755 --- 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 -- 2.39.2