USE_GDB: default to no, and use catchsegv for now. We need a better way to force...

diff --git a/all b/all
index d517457b05dc6b3750e92a9ef51d4961f418a1de..f69738a26ef7ab18a96fbd94df9ed2affba29c52 100755 (executable)
--- 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 "$@"