From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 6 Sep 2018 23:10:00 +0000 (-0700)
Subject: bug fix for deploy script
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8872e2151de629f0690d328cf8ef6e3e94e4b949;p=satune.git

bug fix for deploy script
---

diff --git a/deploy-cs.sh b/deploy-cs.sh
index 98f98f1..7cec4fc 100755
--- a/deploy-cs.sh
+++ b/deploy-cs.sh
@@ -8,7 +8,7 @@ SERVERS="dc-8.calit2.uci.edu dc-9.calit2.uci.edu dc-10.calit2.uci.edu dc-11.cali
 REMOTEDIR="/scratch/hamed/"
 INFILE="constraint_compiler/"
 SRC="constraint_compiler/src/"
-SHAREDDIR="~/"
+SHAREDDIR=~/
 OUTFILE=csolver.tar.gz
 USER=hamed