From 8aca507cfd8f30ca1db57d34c4dfa050b9652332 Mon Sep 17 00:00:00 2001
From: Ward Vandewege <ward@curoverse.com>
Date: Fri, 23 Dec 2016 08:39:02 -0500
Subject: [PATCH] We now have improved mailchimp plugin packaging, this hack is
 no longer needed.

refs #9982
---
 jenkins/run-deploy.sh | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index c0b817f..37654e8 100755
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -189,11 +189,6 @@ title "Updating API server"
 SUM_ECODE=0
 run_puppet $IDENTIFIER.arvadosapi.com ECODE
 SUM_ECODE=$(($SUM_ECODE + $ECODE))
-if [ ! "$IDENTIFIER" = "c97qk" ]
-then
-  run_command $IDENTIFIER.arvadosapi.com ECODE "dpkg -L arvados-mailchimp-plugin 2>/dev/null && apt-get install arvados-mailchimp-plugin --reinstall || echo"
-  SUM_ECODE=$(($SUM_ECODE + $ECODE))
-fi
 
 if [[ "$SUM_ECODE" != "0" ]]; then
   title "ERROR: Updating API server FAILED"
-- 
2.30.2