autoscreenshots: turn off sound

[xonotic/xonotic.git] / all

diff --git a/all b/all
index 26c43f2e81de61ccc2a2d030550814baa4977ffa..a36db2684662e2aa2d982a6e62934a82f99a5bc1 100755 (executable)
--- a/all
+++ b/all
@@ -118,7 +118,7 @@ netradiant                    |
 div0-gittools                 |                                                   | master      | no
 data/xonotic-maps.pk3dir      |                                                   | master      |
 mediasource                   |                                                   | master      | no
-fteqcc                        | git://github.com/Blub/qclib.git                   | master      |
+fteqcc                        | http://github.com/Blub/qclib.git                  | master      |
 "
 # todo: in darkplaces, change repobranch to div0-stable
 
@@ -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
                "$@"
                ;;