X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/44c95f99098fa6c6acbfa82d4b6cbc6015eb6e39..f98e61d49ee0219dab4de3e32d789b4f25cdef68:/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=$?