Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / deploy-cs.sh

diff --git a/deploy-cs.sh b/deploy-cs.sh
index bafb92ab773d4c3382967a4465f8fd34756ced55..899f6c553bdfe9d9ca4900df31fb74f4847f6030 100755 (executable)
--- 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-6.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/"