--- a/src/Pure/Build/build_schedule.scala Fri Feb 16 20:54:21 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala Sat Feb 17 14:48:32 2024 +0100
@@ -1304,7 +1304,7 @@
inlined_files = true).check_errors
val build_context =
- Build.Context(store, build_engine, build_deps, afp_root = afp_root,
+ Build.Context(store, build_deps, engine = build_engine, afp_root = afp_root,
build_hosts = build_hosts, hostname = Build.hostname(build_options),
numa_shuffling = numa_shuffling, max_jobs = Some(0), session_setup = session_setup,
master = true)