merged
authorkleing
Fri, 05 Dec 2008 11:35:07 +1100
changeset 28983 f88fbb0c4f17
parent 28982 75f221d67515 (diff)
parent 28981 c9cf71e161b9 (current diff)
child 28989 a301dc6c6a37
merged
--- a/Admin/isatest/isatest-makeall	Fri Dec 05 00:23:37 2008 +0100
+++ b/Admin/isatest/isatest-makeall	Fri Dec 05 11:35:07 2008 +1100
@@ -133,6 +133,11 @@
 
     echo ------------------- starting test --- `date` --- $HOSTNAME > $TESTLOG 2>&1
 
+    if [ "${ISABELLE_HOME_USER:0:14}" == "/tmp/isabelle-" ]; then
+        echo "--- cleaning up old $ISABELLE_HOME_USER"
+        rm -rf $ISABELLE_HOME_USER
+    fi
+
     cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings
     (ulimit -t $MAXTIME; cd $DIR; $NICE $TOOL >> $TESTLOG 2>&1)
 
--- a/Admin/isatest/settings/sun-poly	Fri Dec 05 00:23:37 2008 +0100
+++ b/Admin/isatest/settings/sun-poly	Fri Dec 05 11:35:07 2008 +1100
@@ -6,7 +6,7 @@
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 1500"
 
-ISABELLE_HOME_USER=~/isabelle-sun-poly
+ISABELLE_HOME_USER=/tmp/isabelle-sun-poly
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"