From edfab30a9fabfc0b0b033edc6d3b292d1517df98 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Sun, 26 Sep 2010 08:51:27 +0200
Subject: [PATCH 1/1] ./all run: use catchsegv if available

---
 all | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/all b/all
index 26c43f2e..e9489d4c 100755
--- 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
 		"$@"
 		;;
-- 
2.39.2