Merge remote branch 'origin/tzork/shadescript'

diff --git a/all b/all
index 26c43f2e81de61ccc2a2d030550814baa4977ffa..5db184d226e4a472625ca04f04a2fb2df53ec780 100755 (executable)
--- a/all
+++ b/all
@@ -668,6 +668,8 @@ case "$cmd" in
 
                if [ -n "$USE_GDB" ]; then
                        set -- gdb --args "$@"
+               elif which catchsegv >/dev/null 2>&1; then
+                       set -- catchsegv "$@"
                fi
                "$@"
                ;;