author | wenzelm |
Sat, 22 Oct 2022 21:43:26 +0200 (2022-10-22) | |
changeset 76367 | 3ace8ac64f20 |
parent 76366 | 640ab184efb4 |
child 76368 | 943f99825f39 |
--- 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) +