diff -r 50488bcd99f6 -r a073ac3f3b56 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Thu Mar 02 11:25:50 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Thu Mar 02 11:36:10 2023 +0100
@@ -596,9 +596,7 @@
     else {
       progress.echo((if (store_heap) "Building " else "Running ") + session_name + " ...")
 
-      store.clean_output(session_name)
-      using(store.open_database(session_name, output = true))(
-        store.init_session_info(_, session_name))
+      store.init_output(session_name)
 
       val session_background = build_deps.background(session_name)
       val session_heaps =