# HG changeset patch
# User wenzelm
# Date 1271525735 -7200
# Node ID d4ec9ddd0e21485296ee5192df48504666e935fb
# Parent  d4b494b7f1a1c21a52b3596d44734fcbf128a89f
isatest: more robust treatment of remote files, less reliance on mounted file system;

diff -r d4b494b7f1a1 -r d4ec9ddd0e21 Admin/isatest/isatest-makedist
--- 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")