Make run-build-docker-images.sh a little smarter, allow building just

one type of arvbox images (part 2).

refs #16930

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>

diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh
index fd7b38e8b64e66e3c18275578890a84c3ccdd2a4..89818e14644fb4d4886da58ddf4e1d092efc6a23 100755 (executable)
--- a/build/run-build-docker-images.sh
+++ b/build/run-build-docker-images.sh
@@ -163,8 +163,12 @@ else
         ## even though credentials are already in .dockercfg
         docker login -u arvados
 
-        docker_push arvados/arvbox-dev
-        docker_push arvados/arvbox-demo
+        if [[ "$images" =~ dev ]]; then
+          docker_push arvados/arvbox-dev
+        fi
+        if [[ "$images" =~ demo ]]; then
+          docker_push arvados/arvbox-demo
+        fi
         title "upload arvados images complete (`timer`)"
     else
         title "upload arvados images SKIPPED because no --upload option set"