X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/a301612e7c0f300c1d3ba68d31f0da61cbb2d020..b21e623902cb32b6d5a2fcf2c6ac9d92d472cb58:/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