3 #Terminate the script if even one command fails
7 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"
8 REMOTEDIR="/scratch/hamed/"
9 INFILE="constraint_compiler/"
10 SRC="constraint_compiler/src/"
12 OUTFILE=csolver.tar.gz
18 tar -czvf $OUTFILE $INFILE
20 cp $OUTFILE $SHAREDDIR
21 for SERVER in $SERVERS; do
22 ssh $USER@$SERVER "cp $SHAREDDIR$OUTFILE $REMOTEDIR; cd $REMOTEDIR; sudo rm -r $SRC; tar -xzvf $OUTFILE; cd $SRC; make clean; ./setup.sh"