equal
deleted
inserted
replaced
78 |
78 |
79 exit 1 |
79 exit 1 |
80 fi |
80 fi |
81 |
81 |
82 cd $DISTPREFIX >> $DISTLOG 2>&1 |
82 cd $DISTPREFIX >> $DISTLOG 2>&1 |
83 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1 |
83 ISABELLE_DIST=`cat $DISTPREFIX/ISABELLE_DIST` |
|
84 $TAR xvzf $ISABELLE_DIST >> $DISTLOG 2>&1 |
|
85 ln -sf $(basename $ISABELLE_DIST .tar.gz) Isabelle |
84 |
86 |
85 ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \ |
87 ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \ |
86 rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/. |
88 rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/. |
87 |
89 |
88 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |
90 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1 |