diff options
author | gjoranv <gv@yahoo-inc.com> | 2017-07-07 16:35:50 +0200 |
---|---|---|
committer | gjoranv <gv@yahoo-inc.com> | 2017-07-07 16:35:50 +0200 |
commit | d612e2cd49962d5cdbe2cfb252e3586fd05eb757 (patch) | |
tree | 13401d6eeb38a689be9ed40312bbe7eeaafac93c /docker | |
parent | 257b567a6bf70d4b5c96490b95bbae6735a935c0 (diff) |
Propagate exit status from 'docker run'
Diffstat (limited to 'docker')
-rwxr-xr-x | docker/vespa-ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docker/vespa-ci.sh b/docker/vespa-ci.sh index 1d7698e522d..c22c7c0cf7a 100755 --- a/docker/vespa-ci.sh +++ b/docker/vespa-ci.sh @@ -25,3 +25,6 @@ cp -p ../dist/vespa.spec tmp/vespa.spec docker build -t "$CI_DOCKER_IMAGE" -f ci/Dockerfile . docker run --rm -v ${DIR}/..:/vespa --entrypoint /vespa-ci-internal.sh "$CI_DOCKER_IMAGE" "$GIT_COMMIT" \ 2>&1 | tee vespa-ci-$(date +%Y-%m-%dT%H:%M:%S%z).log + +# Needed because of piping docker run to tee above +exit ${PIPESTATUS[0]} |