diff options
-rwxr-xr-x | ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-build.sh b/ci-build.sh index c152c97..83ef38a 100755 --- a/ci-build.sh +++ b/ci-build.sh @@ -279,7 +279,7 @@ make_distcheck() echo "+ $1 : make distcheck" logname=$LOGDIR/$1-make-distcheck.log - make distcheck V=1 > $logname 2>&1 + GST_CHECKS=none make distcheck V=1 > $logname 2>&1 if test $? -ne 0 then |