From 3738580fe1d9ce9cdfdba733d6a7b6cfcf3dfc03 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Sun, 14 Nov 2010 18:21:54 +0100
Subject: [PATCH] better error handling of segfaults

---
 all                  | 1 +
 the-big-benchmark.sh | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/all b/all
index 351fdbbe..1a33e89e 100755
--- 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 10b6a45e..7159ef8f 100755
--- 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
 
-- 
2.39.2