X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/d18557927ac033c2e33c1f7770881367b252f329..45772b70191f0fa16b5b385f8e08b87561ed8b03:/build/run-build-docker-images.sh diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh index d03169457e..73f1e2dc46 100755 --- a/build/run-build-docker-images.sh +++ b/build/run-build-docker-images.sh @@ -125,7 +125,7 @@ timer_reset # clean up the docker build environment cd "$WORKSPACE" -tools/arvbox/bin/arvbox rebuild localdemo +tools/arvbox/bin/arvbox build localdemo ECODE=$? if [[ "$ECODE" != "0" ]]; then @@ -148,7 +148,7 @@ title "uploading images" timer_reset -if [[ "$ECODE" != "0" ]]; then +if [[ "$EXITCODE" != "0" ]]; then title "upload arvados images SKIPPED because build failed" else if [[ $upload == true ]]; then