turn off the gdb feature on Windows, as it fails to make a core dump there anyway...

diff --git a/all b/all
index c912afa02533670096b8e41374c105e2bb3a738f..cc1b15bffef477d9858780c5b3facea46cf8e108 100755 (executable)
--- 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 e492d83d12dfee4870058c287eecef886a9e8679..33c4b40f3f556a719a93c686da4e39edc4aa189c 100644 (file)
--- 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