X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/06cf38c24519fa21556686545c768429b5af50dc..45772b70191f0fa16b5b385f8e08b87561ed8b03:/build/run-build-docker-images.sh diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh index 0a5841dae2..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 build dev +tools/arvbox/bin/arvbox build localdemo ECODE=$? if [[ "$ECODE" != "0" ]]; then @@ -133,7 +133,7 @@ if [[ "$ECODE" != "0" ]]; then EXITCODE=$(($EXITCODE + $ECODE)) fi -tools/arvbox/bin/arvbox build localdemo +tools/arvbox/bin/arvbox build dev ECODE=$? @@ -148,11 +148,11 @@ 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 - ## 20150526 nico -- *sometimes* dockerhub needs re-login + if [[ $upload == true ]]; then + ## 20150526 nico -- *sometimes* dockerhub needs re-login ## even though credentials are already in .dockercfg docker login -u arvados