From: Rudolf Polzer <divverent@alientrap.org>
Date: Sun, 26 Sep 2010 13:45:00 +0000 (+0200)
Subject: Merge remote branch 'origin/tzork/shadescript'
X-Git-Tag: xonotic-v0.1.0preview~187
X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=commitdiff_plain;h=84c897e857cb94ab75672ba9e295ca0ff47cc713;hp=1835399e65966651884ab2b6d78ff783ee1d5b55

Merge remote branch 'origin/tzork/shadescript'
---

diff --git a/all b/all
index 26c43f2e..5db184d2 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
 		"$@"
 		;;