allow to opt out of gdb
authorRudolf Polzer <divverent@alientrap.org>
Fri, 19 Nov 2010 12:49:13 +0000 (13:49 +0100)
committerRudolf Polzer <divverent@alientrap.org>
Fri, 19 Nov 2010 12:49:13 +0000 (13:49 +0100)
all

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