X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=blobdiff_plain;f=all;h=c912afa02533670096b8e41374c105e2bb3a738f;hp=cc1b15bffef477d9858780c5b3facea46cf8e108;hb=38e1d23580939fac0f4b1ad56abc79e169e694a6;hpb=bd5907159cd15e0db02a32951af3d6ad335f20e8 diff --git a/all b/all index cc1b15bf..c912afa0 100755 --- a/all +++ b/all @@ -1055,7 +1055,7 @@ case "$cmd" in if [ x"$USE_GDB" = x"yes" ]; then set -- gdb --args "$@" - elif [ -z "$WE_HATE_OUR_USERS" ] && [ x"$USE_GDB" != x"no" ] && 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 "$@"