From f07fe4d4b5150b90577454750e3c23fbfd8cc110 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Sat, 13 Nov 2010 22:08:51 +0100 Subject: [PATCH] clean possible previously existing becnhmark.log --- the-big-benchmark.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/the-big-benchmark.sh b/the-big-benchmark.sh index 253b7474..3ce087ff 100755 --- a/the-big-benchmark.sh +++ b/the-big-benchmark.sh @@ -25,6 +25,7 @@ while :; do done 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 @@ -46,6 +47,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" -- 2.39.2