diff options
author | Edward Hervey <bilboed@bilboed.com> | 2016-07-01 14:23:23 +0200 |
---|---|---|
committer | Edward Hervey <bilboed@bilboed.com> | 2016-07-01 14:23:23 +0200 |
commit | 1e8f596a816ea76e16409e34e29b359edb87fbe2 (patch) | |
tree | e76b3aa99bf1c4d7f09038e4ca2c2158d608bf0d | |
parent | 399e4db0cbd2e4534ee50d5e941bad27d9c66514 (diff) |
with VALIDATE_HTTP_PORT environment variable
-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 |