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.
do not remove heaps, used for afp test
authorkleing
Fri, 05 Mar 2004 07:46:07 +0100
changeset 14433 f25291a96e17
parent 14432 b02de2918c59
child 14434 5f14c1207499
do not remove heaps, used for afp test
Admin/isatest-makeall file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makeall	Thu Mar 04 15:49:42 2004 +0100
+++ b/Admin/isatest-makeall	Fri Mar 05 07:46:07 2004 +0100
@@ -116,7 +116,6 @@
         # test log and cleanup
         echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
         gzip -f $TESTLOG
-        rm -rf $HOME/isabelle-$SHORT
     else
         # test log
         echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
isabelle