# HG changeset patch
# User wenzelm
# Date 1712830353 -7200
# Node ID 2ac132ee8bf18841962fe77a1d96bd8af613b9af
# Parent  dbcd6dc7f70f53de5bd8014e5be18ad7bb194b01
tuned;

diff -r dbcd6dc7f70f -r 2ac132ee8bf1 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Thu Apr 11 12:05:01 2024 +0200
+++ b/src/Pure/Build/build_process.scala	Thu Apr 11 12:12:33 2024 +0200
@@ -1147,10 +1147,10 @@
   }
 
   protected def next_node_info(state: Build_Process.State, session_name: String): Host.Node_Info = {
-    def used_nodes: Set[Int] =
+    val available_nodes = build_context.numa_nodes
+    val used_nodes =
       Set.from(for (job <- state.running.valuesIterator; i <- job.node_info.numa_node) yield i)
-    val numa_node =
-      Host.next_numa_node(_host_database, hostname, build_context.numa_nodes, used_nodes)
+    val numa_node = Host.next_numa_node(_host_database, hostname, available_nodes, used_nodes)
     Host.Node_Info(hostname, numa_node, Nil)
   }