# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1699624333 -3600
# Node ID 5d38b72a1a6626d299c634182cc00ddf8badbb57
# Parent  1b05c2b10c9ffa3dbaeeb131dc18aa6081bfd885
finalize scheduled build only on master node;

diff -r 1b05c2b10c9f -r 5d38b72a1a66 src/Pure/Tools/build_schedule.scala
--- a/src/Pure/Tools/build_schedule.scala	Fri Nov 10 14:42:07 2023 +0100
+++ b/src/Pure/Tools/build_schedule.scala	Fri Nov 10 14:52:13 2023 +0100
@@ -577,12 +577,14 @@
         case _ => false
     }
 
-    override def next_jobs(state: Build_Process.State): List[String] =
-      if (progress.stopped) state.ready.map(_.name)
+    override def next_jobs(state: Build_Process.State): List[String] = {
+      val finalize_limit = if (build_context.master) Int.MaxValue else 0
+
+      if (progress.stopped) state.ready.map(_.name).take(finalize_limit)
       else if (cache.is_current(state)) cache.configs.map(_.job_name)
       else {
         val current = state.ready.filter(task => is_current(state, task.name))
-        if (current.nonEmpty) current.map(_.name)
+        if (current.nonEmpty) current.map(_.name).take(finalize_limit)
         else {
           val start = Time.now()
           val next = scheduler.next(state)
@@ -598,6 +600,7 @@
           configs.map(_.job_name)
         }
       }
+    }
 
     override def run(): Build.Results = {
       val results = super.run()