don't fetch the repo in between, that would be bad
authorRudolf Polzer <divverent@alientrap.org>
Sat, 13 Nov 2010 19:29:41 +0000 (20:29 +0100)
committerRudolf Polzer <divverent@alientrap.org>
Sat, 13 Nov 2010 19:29:41 +0000 (20:29 +0100)
the-big-benchmark.sh

index 8430604c8f74992e356e49ae9b2fb31446dff3f3..520dc78e9b474281076e97e902d6876d26a1063c 100755 (executable)
@@ -28,14 +28,14 @@ set -x
 ./all clean --reclone
 ./all compile -r
 ./all run -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//div0-stable
-./all clean --reclone
+./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
-./all clean --reclone
+./all clean -r -f -u
 
 echo
 echo "Please provide the the following info to the Xonotic developers:"