summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdward Hervey <edward@centricular.com>2017-12-03 12:33:45 +0100
committerEdward Hervey <bilboed@bilboed.com>2017-12-03 12:33:45 +0100
commit589c38b334a7e5ac960e24072e57ec75fcae3752 (patch)
tree7f635b24b40a15aab7536c4b79fe8ee696c5b7a5
parentf9b3667cf6402e9a75a5fde85f5eca3edd2c2f48 (diff)
ci-build: Use --shuffle on validate runs
speeds up overall duration
-rwxr-xr-xci-build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-build.sh b/ci-build.sh
index ee73835..6395ae7 100755
--- a/ci-build.sh
+++ b/ci-build.sh
@@ -354,7 +354,7 @@ beach()
build "gst-editing-services"
cd $WORKSPACE
mkdir -p "validate-output"
- gst-validate-launcher $VALIDATE_MODULES -fs -m -n --check-bugs --fail-on-testlist-change -M $WORKSPACE/validate-output --xunit-file $WORKSPACE/xunit.xml --http-server-port $VALIDATE_HTTP_PORT
+ gst-validate-launcher $VALIDATE_MODULES --shuffle -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