X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/2ec2c8ed2c5db174f3a83dc257fa4c4b3190f47b..f3e02106cfc33ffe333af9e303a9e68f3ecfb2e4:/build/run-build-docker-images.sh diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh index 0a5841dae2..a7dc30cfae 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=$? @@ -151,8 +151,8 @@ timer_reset if [[ "$ECODE" != "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