better error handling of segfaults

diff --git a/all b/all
index 351fdbbe560e1948632175fd47ac692a9f0448cf..1a33e89ed503e5f3ea479a590bcfc86af3fa4f1c 100755 (executable)
--- a/all
+++ b/all
@@ -1026,6 +1026,7 @@ case "$cmd" in
                                $ECHO "The core dump can be examined later by"
                                $ECHO "  gdb $binary xonotic.core"
                        fi
+                       exit 1
                fi
                ;;
        each|foreach)

diff --git a/the-big-benchmark.sh b/the-big-benchmark.sh
index 10b6a45e21e55cab037ef30b7844805c207725b7..7159ef8f453b284ff1ceb217f583ebd0bdd96851 100755 (executable)
--- a/the-big-benchmark.sh
+++ b/the-big-benchmark.sh
@@ -28,14 +28,14 @@ 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
+./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//div0-stable || true
 ./all clean -r -f
 (
        cd darkplaces
        git checkout master || git checkout -t origin/master || exit 1
 )
 ./all compile -r
-./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//master
+./all run "$@" -nohome -benchmarkruns 3 -benchmark demos/the-big-keybench.dem +//master || true
 ./all clean -r -f -u
 set +x