1.1 --- a/Admin/isatest/isatest-makeall	Thu Dec 04 09:12:41 2008 -0800
     1.2 +++ b/Admin/isatest/isatest-makeall	Fri Dec 05 11:33:03 2008 +1100
     1.3 @@ -133,6 +133,11 @@
     1.4  
     1.5      echo ------------------- starting test --- `date` --- $HOSTNAME > $TESTLOG 2>&1
     1.6  
     1.7 +    if [ "${ISABELLE_HOME_USER:0:14}" == "/tmp/isabelle-" ]; then
     1.8 +        echo "--- cleaning up old $ISABELLE_HOME_USER"
     1.9 +        rm -rf $ISABELLE_HOME_USER
    1.10 +    fi
    1.11 +
    1.12      cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings
    1.13      (ulimit -t $MAXTIME; cd $DIR; $NICE $TOOL >> $TESTLOG 2>&1)
    1.14  

     2.1 --- a/Admin/isatest/settings/sun-poly	Thu Dec 04 09:12:41 2008 -0800
     2.2 +++ b/Admin/isatest/settings/sun-poly	Fri Dec 05 11:33:03 2008 +1100
     2.3 @@ -6,7 +6,7 @@
     2.4    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     2.5    ML_OPTIONS="-H 1500"
     2.6  
     2.7 -ISABELLE_HOME_USER=~/isabelle-sun-poly
     2.8 +ISABELLE_HOME_USER=/tmp/isabelle-sun-poly
     2.9  
    2.10  # Where to look for isabelle tools (multiple dirs separated by ':').
    2.11  ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"