From 03fd9a1c7f65fe967b1b0cdefaacfa5e32cc67df Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Sun, 4 Dec 2011 14:50:15 +0100 Subject: [PATCH] USE_GDB: default to no, and use catchsegv for now. We need a better way to force a good core dump. --- all | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/all b/all index d517457b..f69738a2 100755 --- a/all +++ b/all @@ -1198,7 +1198,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 [ x"$USE_GDB" = x"core" ] && which gdb >/dev/null 2>&1; then set -- gdb --batch -x savecore.gdb --args "$@" elif which catchsegv >/dev/null 2>&1; then set -- catchsegv "$@" -- 2.39.2