more thorough cleanup;
authorwenzelm
Sat, 22 Oct 2022 21:43:26 +0200 (2022-10-22)
changeset 76367 3ace8ac64f20
parent 76366 640ab184efb4
child 76368 943f99825f39
more thorough cleanup;
src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sat Oct 22 21:38:32 2022 +0200
+++ b/src/Pure/Admin/build_history.scala	Sat Oct 22 21:43:26 2022 +0200
@@ -227,6 +227,8 @@
       Isabelle_System.rm_tree(isabelle_output)
       Isabelle_System.make_directory(isabelle_output)
 
+      (other_isabelle.isabelle_home_user + Path.explode("mash_state")).file.delete
+
       val log_path =
         other_isabelle.isabelle_home_user +
           Build_Log.log_subdir(build_history_date) +