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 "$@"
 
                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 "$@"

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 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