Make sure to bring the arvados debian packages up to the latest version

when deploying via jenkins.

no issue #

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index c23aefc74084828ed2019c7992cd1a665b2592f4..6509e916a5594bca0011cb40f947354f98b99734 100755 (executable)
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -85,6 +85,19 @@ fi
 
 title "Deploying API server complete"
 
+# Install updated debian packages
+title "Deploying updated arvados debian packages"
+
+ssh -p2222 $IDENTIFIER.arvadosapi.com -C "apt-get update && apt-get install arvados-src python-arvados-fuse python-arvados-python-client"
+
+if [[ "$ECODE" != "0" ]]; then
+  title "!!!!!! DEPLOYING DEBIAN PACKAGES FAILED !!!!!!"
+  EXITCODE=$(($EXITCODE + $ECODE))
+  exit $EXITCODE
+fi
+
+title "Deploying updated arvados debian packages complete"
+
 # Deploy Workbench
 title "Deploying workbench"
 cd "$WORKSPACE"