From 9e1082c1fafc4b1c84a0b667a96d3d4d44941ca0 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Fri, 19 Nov 2010 13:49:13 +0100
Subject: [PATCH] allow to opt out of gdb

---
 all | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/all b/all
index 7ec990f8..d7967467 100755
--- 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 "$@"
-- 
2.39.5