From e25821ce28c0c034356d545a3116094a470df569 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Sun, 29 Jan 2012 12:53:15 +0100 Subject: [PATCH] make engine aborting not fatal (so we have better useful log file) --- misc/tools/the-big-benchmark/the-big-benchmark.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/tools/the-big-benchmark/the-big-benchmark.sh b/misc/tools/the-big-benchmark/the-big-benchmark.sh index 667e413f..e890b144 100755 --- a/misc/tools/the-big-benchmark/the-big-benchmark.sh +++ b/misc/tools/the-big-benchmark/the-big-benchmark.sh @@ -62,7 +62,7 @@ p="+developer 1 -nohome -benchmarkruns 4 -benchmarkruns_skipfirst -benchmark dem for e in omg low med normal high ultra ultimate; do rm -f data/benchmark.log echo + "$@" +exec effects-$e.cfg $p > data/engine.log - "$@" +exec effects-$e.cfg $p >>data/engine.log 2>&1 + "$@" +exec effects-$e.cfg $p >>data/engine.log 2>&1 || true if grep -xF ']quit' data/engine.log >/dev/null; then break fi -- 2.39.2