From 380343cc3563729e217b8219c2019ebd4d47cd9b Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Wed, 17 Oct 2018 21:25:26 -0700 Subject: [PATCH] Adding a new server to deploy.sh --- deploy-cs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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/" -- 2.34.1