Make sure to tag the docker image as latest even if it already exists.

refs #9254

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index d54d2ac6ded5346fe64caaa302d5a77fbbe21c1e..4dd10e167f953a442192b661c21c42c90b30da67 100755 (executable)
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -221,6 +221,8 @@ run_command shell.$IDENTIFIER ECODE "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_
 
 if [[ "$?" == "0" ]]; then
   title "Found latest arvados/jobs Docker image, nothing to upload"
+  # Just in case it isn't yet, tag the image as latest
+  ssh -o "StrictHostKeyChecking no" shell.$IDENTIFIER "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv-keepdocker arvados/jobs latest"
 else
   title "Installing latest arvados/jobs Docker image"
   ssh -o "StrictHostKeyChecking no" shell.$IDENTIFIER "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN /usr/local/rvm/bin/rvm-exec default arv keep docker --pull --project-uuid=$DOCKER_IMAGES_PROJECT arvados/jobs $GIT_COMMIT"