the-big-benchmark: more detail

This commit is contained in:
Rudolf Polzer 2010-11-21 16:50:20 +01:00
parent c9440d7f1b
commit 8d6d52ae0b

View File

@ -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