--- a/src/Pure/Tools/build_process.scala Thu Mar 02 14:41:21 2023 +0100
+++ b/src/Pure/Tools/build_process.scala Thu Mar 02 14:58:59 2023 +0100
@@ -78,7 +78,7 @@
}
}
- val numa_nodes = NUMA.nodes(enabled = numa_shuffling)
+ val numa_nodes = Host.numa_nodes(enabled = numa_shuffling)
new Context(store, build_deps, sessions, ordering, progress, hostname, numa_nodes,
build_heap = build_heap, max_jobs = max_jobs, fresh_build = fresh_build,
no_build = no_build, verbose = verbose, session_setup, uuid = uuid)