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: improved treatment of local files on atbroy102;
authorwenzelm
Fri, 16 Apr 2010 10:15:00 +0200
changeset 36161 e30e51b7e4dc
parent 36160 f84fa49a0b69
child 36162 0bd034a80a9a
isatest: improved treatment of local files on atbroy102;
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makeall	Thu Apr 15 18:21:05 2010 -0700
+++ b/Admin/isatest/isatest-makeall	Fri Apr 16 10:15:00 2010 +0200
@@ -186,7 +186,7 @@
         echo >> $ERRORLOG
 
         FAIL="$FAIL$SHORT "
-        (cd $ERRORDIR; ln -s $TESTLOG)
+        (cd $ERRORDIR; cp -a $TESTLOG .)
     fi
 
     rm -f $RUNNING/$SHORT.running
--- a/Admin/isatest/isatest-makedist	Thu Apr 15 18:21:05 2010 -0700
+++ b/Admin/isatest/isatest-makedist	Fri Apr 16 10:15:00 2010 +0200
@@ -55,6 +55,7 @@
 
 echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
 rm -rf $HOME/isabelle-*
+ssh atbroy102 "rm -rf isabelle-cygwin-poly"
 
 echo "### building distribution"  >> $DISTLOG 2>&1
 mkdir -p $DISTPREFIX
isabelle