5 echo "The Big Benchmark"
6 echo " ================="
8 echo "WARNING: running this script will destroy ANY local changes you"
9 echo "might have on the repository."
11 if [ x"$1" != x"--yes" ]; then
12 echo "Are you absolutely sure you want to run this?"
30 rm -f data/benchmark.log
33 USE_GDB=no ./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//div0-stable || true
37 git checkout master || git checkout -t origin/master || exit 1
40 USE_GDB=no ./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//master || true
45 echo "Please provide the the following info to the Xonotic developers:"
48 echo " - graphics card (which vendor, which model)"
49 echo " - operating system (including whether it is 32bit or 64bit)"
50 echo " - graphics driver version"
51 echo " - the following info:"
52 cat data/benchmark.log