X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=blobdiff_plain;f=all;h=5db184d226e4a472625ca04f04a2fb2df53ec780;hp=fc1b8f2e58372fcee6e1d00890f04e627c0111c7;hb=84c897e857cb94ab75672ba9e295ca0ff47cc713;hpb=a7242c720ec1ff8a6fb3a7d955c893dea7feccb2 diff --git a/all b/all index fc1b8f2e..5db184d2 100755 --- a/all +++ b/all @@ -668,7 +668,7 @@ case "$cmd" in if [ -n "$USE_GDB" ]; then set -- gdb --args "$@" - elif which catchsegv >/dev/null 2>&1/; then + elif which catchsegv >/dev/null 2>&1; then set -- catchsegv "$@" fi "$@"