From ee9b58aa115c02d0a532a3e2c0e3c1989116fd88 Mon Sep 17 00:00:00 2001 From: Alex Zolotarev Date: Mon, 17 Oct 2011 20:29:20 +0200 Subject: [PATCH] Modified benchmark script --- tools/unix/benchmarks.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/unix/benchmarks.sh b/tools/unix/benchmarks.sh index 19717c4a9d..eafbf08a69 100755 --- a/tools/unix/benchmarks.sh +++ b/tools/unix/benchmarks.sh @@ -42,7 +42,7 @@ echo "Starting benchmarking $FILE on `date`" echo "HEAD commit:" echo `git --git-dir=$SCRIPT_DIR/../../.git log -1` -echo "Scales in $FILE: `$BENCHMARK_TOOL -input=$FILE.mwm -print_scales`" +echo "`$BENCHMARK_TOOL -input=$FILE.mwm -print_scales`" for SCALE in 10 11 12 13 14 15 16 17; do echo -n "Scale $SCALE: " $BENCHMARK_TOOL -lowS=$SCALE -highS=$SCALE -input=$FILE.mwm