# HG changeset patch
# User kleing
# Date 1228437183 -39600
# Node ID 75f221d67515d4dcba0f45c7b808901c0c3a357a
# Parent  1c743f58781af2f6873ec273d0e8c1d234c78729
run test for sunbroy2 on /tmp,
be careful about removing old test dir

diff -r 1c743f58781a -r 75f221d67515 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Thu Dec 04 09:12:41 2008 -0800
+++ b/Admin/isatest/isatest-makeall	Fri Dec 05 11:33:03 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)
 
diff -r 1c743f58781a -r 75f221d67515 Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Thu Dec 04 09:12:41 2008 -0800
+++ b/Admin/isatest/settings/sun-poly	Fri Dec 05 11:33:03 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"