added exit if git pull fails

no issue #

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index 398a0507d0c8e740fa4f0699f9ffde6f512ccaf1..1d23b4ebc0247fd76388252c890c29f88131a873 100755 (executable)
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -182,6 +182,10 @@ if [[ "$?" == "0" ]]; then
 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"
+  if [[ "$?" -ne 0 ]]; then
+    title "'git pull' failed exiting..."
+    exit 1
+  fi
 fi
 
 title "Gathering list of shell and Keep nodes"