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.
more uniform cleanup;
authorwenzelm
Mon, 03 Feb 2025 19:50:27 +0100
changeset 82071 d526ae8fc0a0
parent 82070 926c445cddde
child 82072 4df95adf6b66
more uniform cleanup;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions
src/Pure/System/other_isabelle.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Mon Feb 03 19:15:30 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Mon Feb 03 19:50:27 2025 +0100
@@ -527,7 +527,6 @@
       other_isabelle_purge("heaps")
 
       other_isabelle.cleanup()
-      other_isabelle.isabelle_home_user.file.delete
 
 
       progress.echo("Creating release archive " + context.isabelle_archive + " ...")
--- a/src/Pure/System/other_isabelle.scala	Mon Feb 03 19:15:30 2025 +0100
+++ b/src/Pure/System/other_isabelle.scala	Mon Feb 03 19:50:27 2025 +0100
@@ -188,5 +188,5 @@
   /* cleanup */
 
   def cleanup(): Unit =
-    ssh.delete(host_db, etc_settings, etc_preferences, etc)
+    ssh.delete(host_db, etc_settings, etc_preferences, etc, isabelle_home_user)
 }
isabelle