src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Mon Mar 06 10:58:36 2023 +0100
+++ b/src/Pure/Tools/build.scala	Mon Mar 06 11:39:40 2023 +0100
@@ -152,6 +152,7 @@
         fresh_build = fresh_build, no_build = no_build, session_setup = session_setup)
 
     store.prepare_output()
+    build_context.prepare_database()
 
     if (clean_build) {
       for (name <- full_sessions.imports_descendants(full_sessions_selection)) {