isatest: more robust treatment of remote files, less reliance on mounted file system;
authorwenzelm
Sat Apr 17 19:35:35 2010 +0200 (2010-04-17)
changeset 36192d4ec9ddd0e21
parent 36191 d4b494b7f1a1
child 36193 067a01827fca
isatest: more robust treatment of remote files, less reliance on mounted file system;
Admin/isatest/isatest-makedist
     1.1 --- a/Admin/isatest/isatest-makedist	Sat Apr 17 11:05:22 2010 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Sat Apr 17 19:35:35 2010 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4  
     1.5  echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
     1.6  rm -rf $HOME/isabelle-*
     1.7 -ssh atbroy102 "rm -rf isabelle-cygwin-poly"
     1.8 +ssh atbroy102 "rm -rf /home/isatest/isabelle-cygwin-poly"
     1.9  
    1.10  echo "### building distribution"  >> $DISTLOG 2>&1
    1.11  mkdir -p $DISTPREFIX
    1.12 @@ -82,6 +82,9 @@
    1.13  cd $DISTPREFIX >> $DISTLOG 2>&1
    1.14  $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
    1.15  
    1.16 +ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
    1.17 +rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.
    1.18 +
    1.19  echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    1.20  
    1.21  ELAPSED=$("$HOME/bin/showtime" "$SECONDS")