# HG changeset patch
# User wenzelm
# Date 1710088424 -3600
# Node ID 61c3e1c5fce550fb6516c7660415308394158ce5
# Parent  8ffcaf563745a873cf5060ce94508cb1ccb60350
tuned: remove redundant guard;

diff -r 8ffcaf563745 -r 61c3e1c5fce5 src/Pure/Build/build_process.scala
--- 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
       }