Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build_process.scala
changeset 78185 26b9b40ec1af
parent 78179 a49ad8d183af
child 78187 2df0f3604a67 
--- a/src/Pure/Tools/build_process.scala	Wed Jun 21 11:05:20 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Jun 21 11:15:04 2023 +0200
@@ -939,7 +939,7 @@
         (if (store_heap) "Building " else "Running ") + session_name +
           if_proper(node_info.numa_node, " on " + node_info) + " ...")
 
-      store.init_output(session_name)
+      store.clean_output(session_name, init = true)
 
       val build =
         Build_Job.start_session(build_context, progress, log,
isabelle