diff options
author | Edward Hervey <edward@centricular.com> | 2017-11-27 10:54:24 +0100 |
---|---|---|
committer | Edward Hervey <bilboed@bilboed.com> | 2017-11-27 10:54:55 +0100 |
commit | 259cab5b9eeae91b80eaf262656f860b1500c5a8 (patch) | |
tree | 7df08cbf109295a6be0312c9cb04de0dee590643 | |
parent | 3d9bc9ed35aa60a9a1f58d485eeca3de8ce8692b (diff) |
ci-build: Don't actually run tests in distcheck1.12
We already test them elsewhere
-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 |