Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
isatest: more robust treatment of remote files, less reliance on mounted file system;
authorwenzelm
Sat, 17 Apr 2010 19:35:35 +0200
changeset 36192 d4ec9ddd0e21
parent 36191 d4b494b7f1a1
child 36193 067a01827fca
isatest: more robust treatment of remote files, less reliance on mounted file system;
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Sat Apr 17 11:05:22 2010 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Apr 17 19:35:35 2010 +0200
@@ -55,7 +55,7 @@
 
 echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
 rm -rf $HOME/isabelle-*
-ssh atbroy102 "rm -rf isabelle-cygwin-poly"
+ssh atbroy102 "rm -rf /home/isatest/isabelle-cygwin-poly"
 
 echo "### building distribution"  >> $DISTLOG 2>&1
 mkdir -p $DISTPREFIX
@@ -82,6 +82,9 @@
 cd $DISTPREFIX >> $DISTLOG 2>&1
 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
 
+ssh atbroy102 "rm -rf /home/isatest/isadist && mkdir -p /home/isatest/isadist" && \
+rsync -a "$HOME/isadist/." atbroy102:/home/isatest/isadist/.
+
 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
 
 ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
isabelle