diff options
author | Edward Hervey <bilboed@bilboed.com> | 2015-04-09 16:17:59 +0200 |
---|---|---|
committer | Edward Hervey <bilboed@bilboed.com> | 2015-04-09 16:17:59 +0200 |
commit | 2dfa7420cabde636e970136d4cf012723afc65c1 (patch) | |
tree | 5118505738923621f2f5593cac246b8a978830fd | |
parent | 0be91e8796fe76b1fcf59fbd410a27da57937b80 (diff) |
don't run build-checks on gst-validate
-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 97a5740..a949949 100755 --- a/ci-build.sh +++ b/ci-build.sh @@ -207,7 +207,7 @@ build() exit $ERROR_RETURN fi - if test $1 != "orc" + if test $1 != "orc" -a $1 != "gst-devtools/validate" then echo "+ $1 : make build-checks" logname=$LOGDIR/$1-build-checks.log |