From: Ward Vandewege Date: Wed, 2 Mar 2016 15:35:55 +0000 (-0500) Subject: Build arvbox instead of the old docker images. X-Git-Url: https://git.arvados.org/arvados-dev.git/commitdiff_plain/2213311cb8647e41604a94d64ddd02b21ae78411 Build arvbox instead of the old docker images. refs #8231 --- diff --git a/jenkins/run-build-docker-images.sh b/jenkins/run-build-docker-images.sh index 71910c2..0a5841d 100755 --- a/jenkins/run-build-docker-images.sh +++ b/jenkins/run-build-docker-images.sh @@ -124,15 +124,16 @@ timer_reset # clean up the docker build environment cd "$WORKSPACE" -cd docker -./build.sh realclean -rm -f config.yml +tools/arvbox/bin/arvbox build dev +ECODE=$? -# Get test config.yml file -cp $HOME/docker/config.yml . +if [[ "$ECODE" != "0" ]]; then + title "!!!!!! docker BUILD FAILED !!!!!!" + EXITCODE=$(($EXITCODE + $ECODE)) +fi -./build.sh +tools/arvbox/bin/arvbox build localdemo ECODE=$? @@ -155,14 +156,8 @@ else ## even though credentials are already in .dockercfg docker login -u arvados - docker_push arvados/api - docker_push arvados/compute - docker_push arvados/doc - docker_push arvados/workbench - docker_push arvados/keep - docker_push arvados/keepproxy - docker_push arvados/shell - docker_push arvados/sso + docker_push arvados/arvbox-dev + docker_push arvados/arvbox-demo title "upload arvados images complete (`timer`)" else title "upload arvados images SKIPPED because no --upload option set"