]> git.xonotic.org Git - xonotic/xonotic.git/blobdiff - the-big-benchmark.sh
don't use gdb in the benchmark
[xonotic/xonotic.git] / the-big-benchmark.sh
index 520dc78e9b474281076e97e902d6876d26a1063c..959281c862f9592fc5229a96396d4a86aad8553a 100755 (executable)
@@ -8,34 +8,38 @@ echo
 echo "WARNING: running this script will destroy ANY local changes you"
 echo "might have on the repository."
 echo
-echo "Are you absolutely sure you want to run this?"
-echo
-while :; do
-       echo -n "y/n: "
-       read -r yesno
-       case "$yesno" in
-               y)
-                       break
-                       ;;
-               n)
-                       echo "Aborted."
-                       exit 1
-                       ;;
-       esac
-done
+if [ x"$1" != x"--yes" ]; then
+       echo "Are you absolutely sure you want to run this?"
+       echo
+       while :; do
+               echo -n "y/n: "
+               read -r yesno
+               case "$yesno" in
+                       y)
+                               break
+                               ;;
+                       n)
+                               echo "Aborted."
+                               exit 1
+                               ;;
+               esac
+       done
+fi
 
 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
+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
+USE_GDB=no ./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//master || true
 ./all clean -r -f -u
+set +x
 
 echo
 echo "Please provide the the following info to the Xonotic developers:"
@@ -45,6 +49,6 @@ echo " - graphics card (which vendor, which model)"
 echo " - operating system (including whether it is 32bit or 64bit)"
 echo " - graphics driver version"
 echo " - the following info:"
-tail -n 6 data/benchmark.log
+cat data/benchmark.log
 echo
 echo "Thank you"