allow to opt out of gdb

diff --git a/all b/all
index 7ec990f87f04c4dfdd8f4d26cdf0c958a5a1fea7..d7967467b65057b6111c237fba7c74cdba218ec4 100755 (executable)
--- a/all
+++ b/all
@@ -1010,9 +1010,9 @@ case "$cmd" in
 
                binary=$1
 
-               if [ -n "$USE_GDB" ]; then
+               if [ x"$USE_GDB" = x"yes" ]; then
                        set -- gdb --args "$@"
-               elif which gdb >/dev/null 2>&1; then
+               elif [ 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 "$@"