From bd5907159cd15e0db02a32951af3d6ad335f20e8 Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Mon, 29 Nov 2010 12:13:50 +0100 Subject: [PATCH] turn off the gdb feature on Windows, as it fails to make a core dump there anyway (hope catchsegv exists then) --- all | 2 +- savecore.gdb | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) 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 -- 2.39.2