Admin/isatest/isatest-makedist
changeset 41967 6aa69999da8f
parent 41599 16e290c668ea
child 42423 5a7217f098bd
equal deleted inserted replaced
41966:d65835c381dd 41967:6aa69999da8f
    81 
    81 
    82 cd $DISTPREFIX >> $DISTLOG 2>&1
    82 cd $DISTPREFIX >> $DISTLOG 2>&1
    83 ISABELLE_DIST=`cat $DISTPREFIX/ISABELLE_DIST`
    83 ISABELLE_DIST=`cat $DISTPREFIX/ISABELLE_DIST`
    84 $TAR xvzf $ISABELLE_DIST >> $DISTLOG 2>&1
    84 $TAR xvzf $ISABELLE_DIST >> $DISTLOG 2>&1
    85 ln -sf $(basename $ISABELLE_DIST .tar.gz) Isabelle
    85 ln -sf $(basename $ISABELLE_DIST .tar.gz) Isabelle
       
    86 cp Isabelle/etc/settings Isabelle/etc/settings.orig
    86 
    87 
    87 ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
    88 ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
    88 rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.
    89 rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.
    89 
    90 
    90 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    91 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1