diff options
author | Edward Hervey <bilboed@bilboed.com> | 2015-08-04 15:46:09 +0200 |
---|---|---|
committer | Edward Hervey <bilboed@bilboed.com> | 2015-08-04 15:46:09 +0200 |
commit | 14a417c51f8c1f648f762d6cced13eafc623ed41 (patch) | |
tree | 0c4f4d8bfac1a8033d88a71155031f25e40b83c5 | |
parent | 2dfa7420cabde636e970136d4cf012723afc65c1 (diff) |
ci-build: Force sync with gst-validate-launcher
-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 a949949..69cae65 100755 --- a/ci-build.sh +++ b/ci-build.sh @@ -317,7 +317,7 @@ beach() build "gst-devtools/validate" cd $WORKSPACE mkdir -p "validate-output" - gst-validate-launcher validate -j3 -S -m -n -M $WORKSPACE/validate-output --xunit-file $WORKSPACE/xunit.xml + gst-validate-launcher validate -j3 -fs -m -n -M $WORKSPACE/validate-output --xunit-file $WORKSPACE/xunit.xml fi echo |