isatest: improved treatment of local files on atbroy102;
authorwenzelm
Fri Apr 16 10:15:00 2010 +0200 (2010-04-16)
changeset 36161e30e51b7e4dc
parent 36160 f84fa49a0b69
child 36162 0bd034a80a9a
isatest: improved treatment of local files on atbroy102;
Admin/isatest/isatest-makeall
Admin/isatest/isatest-makedist
     1.1 --- a/Admin/isatest/isatest-makeall	Thu Apr 15 18:21:05 2010 -0700
     1.2 +++ b/Admin/isatest/isatest-makeall	Fri Apr 16 10:15:00 2010 +0200
     1.3 @@ -186,7 +186,7 @@
     1.4          echo >> $ERRORLOG
     1.5  
     1.6          FAIL="$FAIL$SHORT "
     1.7 -        (cd $ERRORDIR; ln -s $TESTLOG)
     1.8 +        (cd $ERRORDIR; cp -a $TESTLOG .)
     1.9      fi
    1.10  
    1.11      rm -f $RUNNING/$SHORT.running
     2.1 --- a/Admin/isatest/isatest-makedist	Thu Apr 15 18:21:05 2010 -0700
     2.2 +++ b/Admin/isatest/isatest-makedist	Fri Apr 16 10:15:00 2010 +0200
     2.3 @@ -55,6 +55,7 @@
     2.4  
     2.5  echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
     2.6  rm -rf $HOME/isabelle-*
     2.7 +ssh atbroy102 "rm -rf isabelle-cygwin-poly"
     2.8  
     2.9  echo "### building distribution"  >> $DISTLOG 2>&1
    2.10  mkdir -p $DISTPREFIX