./all run: use catchsegv if available

2024-12-14 10:55:18 +00:00 · 2010-09-26 08:51:27 +02:00 · 2010-09-26 08:51:27 +02:00 · edfab30a9f
commit edfab30a9f
parent b020f3b152
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -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
 		"$@"
 		;;