diff -r a01f4cf202fd -r 12bb31d01510 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Thu Feb 15 10:32:36 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Thu Feb 15 11:33:36 2024 +0100
@@ -977,7 +977,7 @@
   protected def next_jobs(state: Build_Process.State): List[String] = {
     val limit = {
       if (progress.stopped) { if (build_context.master) Int.MaxValue else 0 }
-      else build_context.max_jobs - state.build_running.length
+      else build_context.jobs - state.build_running.length
     }
     if (limit > 0) state.next_ready.sortBy(_.name)(state.sessions.ordering).take(limit).map(_.name)
     else Nil