summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdward Hervey <bilboed@bilboed.com>2015-04-09 16:17:59 +0200
committerEdward Hervey <bilboed@bilboed.com>2015-04-09 16:17:59 +0200
commit2dfa7420cabde636e970136d4cf012723afc65c1 (patch)
tree5118505738923621f2f5593cac246b8a978830fd
parent0be91e8796fe76b1fcf59fbd410a27da57937b80 (diff)
don't run build-checks on gst-validate
-rwxr-xr-xci-build.sh2
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