Admin/isatest-makedist

 TMP=/tmp/isatest-makedist.$$
 MAIL=$HOME/bin/pmail
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-ERRORLOG=$HOME/var/error.log
+ERRORDIR=$HOME/var
+ERRORLOG=$ERRORDIR/error.log
 RUNNING=$HOME/var/running
 DISTPREFIX=$HOME/isadist
 MAKEDIST=$HOME/bin/makedist
 MAKEALL=$HOME/bin/isatest-makeall
 TAR=gtar

 
 ## main
 
 # cleanup old error log and test-still-running files
 rm -f $ERRORLOG
+rm -f $ERRORDIR/isatest-*.log
 rm -f $RUNNING/*.runnning
 
 export DISTPREFIX
 
 DATE=$(date "+%Y-%m-%d")

 
     echo "Could not build isabelle distribution. Log file available at" > $TMP
     echo "$HOSTNAME:$DISTLOG" >> $TMP
 
     for R in $MAILTO; do
-	$MAIL "isabelle dist build failed" $R $TMP
+        $MAIL "isabelle dist build failed" $R $TMP
     done
 
     rm $TMP
 
     exit 1