--- a/src/Pure/System/host.scala Sun Mar 17 22:48:44 2024 +0100
+++ b/src/Pure/System/host.scala Tue Mar 19 00:42:09 2024 +0100
@@ -77,8 +77,9 @@
threads_options.string.update("process_policy",
if (numactl_ok(numa_node, node.rel_cpus)) numactl(numa_node, node.rel_cpus) else "")
case _ =>
- threads_options.string.update("process_policy",
- if (taskset_ok(node.rel_cpus)) taskset(node.rel_cpus) else "")
+ // FIXME threads_options.string.update("process_policy",
+ // if (taskset_ok(node.rel_cpus)) taskset(node.rel_cpus) else "")
+ threads_options
}
}