From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 18 Oct 2018 04:25:26 +0000 (-0700)
Subject: Adding a new server to deploy.sh
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=380343cc3563729e217b8219c2019ebd4d47cd9b;p=satune.git

Adding a new server to deploy.sh
---

diff --git a/deploy-cs.sh b/deploy-cs.sh
index bafb92a..0afc09b 100755
--- a/deploy-cs.sh
+++ b/deploy-cs.sh
@@ -4,7 +4,7 @@
 set -e
 
 BASE=../
-SERVERS="dc-5.calit2.uci.edu dc-7.calit2.uci.edu dc-8.calit2.uci.edu dc-9.calit2.uci.edu dc-10.calit2.uci.edu dc-11.calit2.uci.edu"
+SERVERS="dc-4.calit2.uci.edu dc-5.calit2.uci.edu dc-7.calit2.uci.edu dc-8.calit2.uci.edu dc-9.calit2.uci.edu dc-10.calit2.uci.edu dc-11.calit2.uci.edu"
 REMOTEDIR="/scratch/hamed/"
 INFILE="constraint_compiler/"
 SRC="constraint_compiler/src/"