X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/55aafbb07904ca24390dd47ea960eae7cb2b909a..62a2ccba46cb5b83e510e727afa44eee2e893676:/build/run-build-docker-images.sh diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh index 9f4f8125de..fd7b38e8b6 100755 --- a/build/run-build-docker-images.sh +++ b/build/run-build-docker-images.sh @@ -128,6 +128,8 @@ timer_reset # clean up the docker build environment cd "$WORKSPACE" +title "Starting arvbox build localdemo" + tools/arvbox/bin/arvbox build localdemo ECODE=$? @@ -136,6 +138,8 @@ if [[ "$ECODE" != "0" ]]; then EXITCODE=$(($EXITCODE + $ECODE)) fi +title "Starting arvbox build dev" + tools/arvbox/bin/arvbox build dev ECODE=$?