diff options
author | Edward Hervey <bilboed@bilboed.com> | 2016-12-02 16:16:48 +0100 |
---|---|---|
committer | Edward Hervey <bilboed@bilboed.com> | 2016-12-02 16:16:48 +0100 |
commit | 48a7515932e7113fd808c3bb251e7d1eca4043f1 (patch) | |
tree | b02b9f522cd1be46c0dcd76a80b0ab8d8fa54b37 | |
parent | 1e8f596a816ea76e16409e34e29b359edb87fbe2 (diff) |
validate: Check for bugs
-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 7111824..ef9d197 100755 --- a/ci-build.sh +++ b/ci-build.sh @@ -338,7 +338,7 @@ beach() build "gst-editing-services" cd $WORKSPACE mkdir -p "validate-output" - gst-validate-launcher validate ges -j3 -fs -m -n --fail-on-testlist-change -M $WORKSPACE/validate-output --xunit-file $WORKSPACE/xunit.xml --http-server-port $VALIDATE_HTTP_PORT + gst-validate-launcher validate ges -j3 -fs -m -n --check-bugs --fail-on-testlist-change -M $WORKSPACE/validate-output --xunit-file $WORKSPACE/xunit.xml --http-server-port $VALIDATE_HTTP_PORT fi echo |