make engine aborting not fatal (so we have better useful log file)

diff --git a/misc/tools/the-big-benchmark/the-big-benchmark.sh b/misc/tools/the-big-benchmark/the-big-benchmark.sh
index 667e413f3f6d158cafaf7ec019f0e22d069d6864..e890b14458179f1a24823c73bc69596aba1ca9ce 100755 (executable)
--- 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