fix another syntax error

diff --git a/all b/all
index fc1b8f2e58372fcee6e1d00890f04e627c0111c7..5db184d226e4a472625ca04f04a2fb2df53ec780 100755 (executable)
--- a/all
+++ b/all
@@ -668,7 +668,7 @@ case "$cmd" in
 
                if [ -n "$USE_GDB" ]; then
                        set -- gdb --args "$@"
 
                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
                "$@"
                        set -- catchsegv "$@"
                fi
                "$@"