X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=deploy-cs.sh;h=0afc09b72b4bb3fa3ee84b3dc21b1806576e42bc;hp=7cec4fcef64a2c8dd9cf74824bfbf775edef84ce;hb=bb95e237d699d0c859ef948399b63651d21d432e;hpb=8872e2151de629f0690d328cf8ef6e3e94e4b949;ds=sidebyside

diff --git a/deploy-cs.sh b/deploy-cs.sh
index 7cec4fc..0afc09b 100755
--- a/deploy-cs.sh
+++ b/deploy-cs.sh
@@ -4,7 +4,7 @@
 set -e
 
 BASE=../
-SERVERS="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/"