author | wenzelm |
Sun, 10 Mar 2024 17:33:44 +0100 | |
changeset 79851 | 61c3e1c5fce5 |
parent 79850 | 8ffcaf563745 |
child 79852 | 15948836fa90 |
--- a/src/Pure/Build/build_process.scala Sun Mar 10 17:30:23 2024 +0100 +++ b/src/Pure/Build/build_process.scala Sun Mar 10 17:33:44 2024 +0100 @@ -1305,7 +1305,7 @@ def run(): Build.Results = { val vacuous = synchronized_database("Build_Process.init") { - if (build_context.master) _build_cluster.init() + _build_cluster.init() init_unsynchronized() build_context.master && _state.pending.isEmpty }