From: Rudolf Polzer Date: Sun, 26 Sep 2010 06:51:27 +0000 (+0200) Subject: ./all run: use catchsegv if available X-Git-Tag: xonotic-v0.1.0preview~190 X-Git-Url: https://git.rm.cloudns.org/?a=commitdiff_plain;h=edfab30a9fabfc0b0b033edc6d3b292d1517df98;p=xonotic%2Fxonotic.git ./all run: use catchsegv if available --- diff --git a/all b/all index 26c43f2e..e9489d4c 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 "$@" ;;