X-Git-Url: http://de.git.xonotic.org/?p=xonotic%2Fxonotic.git;a=blobdiff_plain;f=all;h=cc1b15bffef477d9858780c5b3facea46cf8e108;hp=c912afa02533670096b8e41374c105e2bb3a738f;hb=bd5907159cd15e0db02a32951af3d6ad335f20e8;hpb=30ec2898f52b8be0389ae94bcf04838813017c41

diff --git a/all b/all
index c912afa0..cc1b15bf 100755
--- a/all
+++ b/all
@@ -1055,7 +1055,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 [ -z "$WE_HATE_OUR_USERS" ] && [ 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 "$@"