Make it a little more obvious which arvbox docker images are being built.

[arvados.git] / build / run-build-docker-images.sh

diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh
index 9f4f8125debb50836bd44604aa98529dfc6932e1..fd7b38e8b64e66e3c18275578890a84c3ccdd2a4 100755 (executable)
--- 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=$?