16930: remove local 'latest' tag before pushing.

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 7cb8cf76ad5ce4b618b563858463a2877dfb1ca1..8cff14b71e2934607c6794a5b00a461dac80338f 100755 (executable)
--- a/build/run-build-docker-images.sh
+++ b/build/run-build-docker-images.sh
@@ -82,6 +82,9 @@ title () {
 }
 
 docker_push () {
+    # docker always creates a local 'latest' tag, and we don't want to push that
+    # tag in every case. Remove it.
+    docker rmi $1:latest
     if [[ ! -z "$tags" ]]
     then
         for tag in $( echo $tags|tr "," " " )