turn off the gdb feature on Windows, as it fails to make a core dump there anyway...
authorRudolf Polzer <divVerent@xonotic.org>
Mon, 29 Nov 2010 11:13:50 +0000 (12:13 +0100)
committerRudolf Polzer <divVerent@xonotic.org>
Mon, 29 Nov 2010 11:13:50 +0000 (12:13 +0100)
all
savecore.gdb

diff --git a/all b/all
index c912afa..cc1b15b 100755 (executable)
--- a/all
+++ b/all
@@ -1055,7 +1055,7 @@ case "$cmd" in
 
                if [ x"$USE_GDB" = x"yes" ]; then
                        set -- gdb --args "$@"
 
                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 "$@"
                        set -- gdb --batch -x savecore.gdb --args "$@"
                elif which catchsegv >/dev/null 2>&1; then
                        set -- catchsegv "$@"
index e492d83..33c4b40 100644 (file)
@@ -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 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
 run
 set pagination off
 echo \n\nIf the following commands show errors, that can be ignored:\n