X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=blobdiff_plain;f=all;h=fc1b8f2e58372fcee6e1d00890f04e627c0111c7;hp=26c43f2e81de61ccc2a2d030550814baa4977ffa;hb=a7242c720ec1ff8a6fb3a7d955c893dea7feccb2;hpb=b020f3b152b14c52cd814dbf111fe4d464fde1b0

diff --git a/all b/all
index 26c43f2e..fc1b8f2e 100755
--- a/all
+++ b/all
@@ -668,6 +668,8 @@ case "$cmd" in
 
 		if [ -n "$USE_GDB" ]; then
 			set -- gdb --args "$@"
+		elif which catchsegv >/dev/null 2>&1/; then
+			set -- catchsegv "$@"
 		fi
 		"$@"
 		;;