X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=deploy-cs.sh;h=bafb92ab773d4c3382967a4465f8fd34756ced55;hp=98f98f15af2031c32361d638455e4ebe4b9626ce;hb=94a2a1f10d93eabe3a247981b5afd0d641528e4f;hpb=fb2b45c84b603f347ce3bbf37512408f6f404941;ds=sidebyside

diff --git a/deploy-cs.sh b/deploy-cs.sh
index 98f98f1..bafb92a 100755
--- a/deploy-cs.sh
+++ b/deploy-cs.sh
@@ -4,11 +4,11 @@
 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-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/"
-SHAREDDIR="~/"
+SHAREDDIR=~/
 OUTFILE=csolver.tar.gz
 USER=hamed