From: Rudolf Polzer <divVerent@xonotic.org>
Date: Mon, 29 Nov 2010 11:13:50 +0000 (+0100)
Subject: turn off the gdb feature on Windows, as it fails to make a core dump there anyway... 
X-Git-Tag: xonotic-v0.1.0preview~25
X-Git-Url: https://git.rm.cloudns.org/?a=commitdiff_plain;h=bd5907159cd15e0db02a32951af3d6ad335f20e8;p=xonotic%2Fxonotic.git

turn off the gdb feature on Windows, as it fails to make a core dump there anyway (hope catchsegv exists then)
---

diff --git a/all b/all
index c912afa0..cc1b15bf 100755
--- a/all
+++ b/all
@@ -1055,7 +1055,7 @@ case "$cmd" in
 
 		if [ x"$USE_GDB" = x"yes" ]; then
 			set -- gdb --args "$@"
-		elif [ x"$USE_GDB" != x"no" ] && which gdb >/dev/null 2>&1; then
+		elif [ -z "$WE_HATE_OUR_USERS" ] && [ x"$USE_GDB" != x"no" ] && which gdb >/dev/null 2>&1; then
 			set -- gdb --batch -x savecore.gdb --args "$@"
 		elif which catchsegv >/dev/null 2>&1; then
 			set -- catchsegv "$@"
diff --git a/savecore.gdb b/savecore.gdb
index e492d83d..33c4b40f 100644
--- a/savecore.gdb
+++ b/savecore.gdb
@@ -2,7 +2,6 @@ handle SIGHUP nostop print pass
 handle SIGINT nostop print pass
 handle SIGCONT nostop print pass
 handle SIGTSTP nostop print pass
-handle SIGTRAP nostop print pass
 run
 set pagination off
 echo \n\nIf the following commands show errors, that can be ignored:\n