Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
run test for sunbroy2 on /tmp,
authorkleing
Fri, 05 Dec 2008 11:33:03 +1100
changeset 28982 75f221d67515
parent 28970 1c743f58781a
child 28983 f88fbb0c4f17
run test for sunbroy2 on /tmp, be careful about removing old test dir
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-poly file | annotate | diff | comparison | revisions 
--- 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)
 
--- 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"
isabelle