From 8d6d52ae0bc823d287bc65ec7343b84d7bcad464 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Sun, 21 Nov 2010 16:50:20 +0100 Subject: [PATCH 1/1] the-big-benchmark: more detail --- the-big-benchmark.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/the-big-benchmark.sh b/the-big-benchmark.sh index 15b78e0d..1744a1ad 100755 --- a/the-big-benchmark.sh +++ b/the-big-benchmark.sh @@ -37,7 +37,7 @@ USE_GDB=no ./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keyb git checkout div0-stable-pred3d9 || git checkout -t origin/div0-stable-pred3d9 || exit 1 ) ./all compile -r -USE_GDB=no ./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 +//div0-stable-pred3d9 || true ./all clean -r -f -u set +x -- 2.39.2