--- a/src/Pure/Tools/build.scala Tue Jun 27 11:39:02 2023 +0200
+++ b/src/Pure/Tools/build.scala Tue Jun 27 14:50:48 2023 +0200
@@ -163,13 +163,11 @@
/* build process and results */
val build_context =
- Build_Process.Context(store, build_deps, progress = progress,
+ Build_Process.init_context(store, build_deps, progress = progress,
hostname = hostname(build_options), build_heap = build_heap,
numa_shuffling = numa_shuffling, max_jobs = max_jobs, fresh_build = fresh_build,
no_build = no_build, session_setup = session_setup, master = true)
- build_context.store_init()
-
if (clean_build) {
using_optional(store.maybe_open_database_server()) { database_server =>
for (name <- full_sessions.imports_descendants(full_sessions_selection)) {