diff options
| -rwxr-xr-x | ci-build.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/ci-build.sh b/ci-build.sh index f5fccbb..7111824 100755 --- a/ci-build.sh +++ b/ci-build.sh @@ -76,6 +76,14 @@ echo echo "======================================================" echo +if [ -z $VALIDATE_HTTP_PORT ]; +then + echo "Using default validate HTTP port: 8039" + VALIDATE_HTTP_PORT=8039 +else + echo "Using specified validate HTTP port:" $VALIDATE_HTTP_PORT +fi + if [ -z $WORKSPACE ]; then echo "Out-of-jenkins build" @@ -330,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 + 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 fi echo |