tuned: remove redundant guard;
authorwenzelm
Sun, 10 Mar 2024 17:33:44 +0100
changeset 79851 61c3e1c5fce5
parent 79850 8ffcaf563745
child 79852 15948836fa90
tuned: remove redundant guard;
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
       }