# HG changeset patch
# User wenzelm
# Date 1536437392 -7200
# Node ID 89a12af9c330ffbd0bbc25a6a05b12437c3d349b
# Parent  7700142d6d258ce40fd39b12ef691d5e6723725e
tuned signature;

diff -r 7700142d6d25 -r 89a12af9c330 src/Pure/System/numa.scala
--- a/src/Pure/System/numa.scala	Sat Sep 08 21:54:39 2018 +0200
+++ b/src/Pure/System/numa.scala	Sat Sep 08 22:09:52 2018 +0200
@@ -39,6 +39,12 @@
   def policy(node: Int): String =
     if (numactl_available) "numactl -m" + node + " -N" + node else ""
 
+  def policy_options(options: Options, numa_node: Option[Int]): Options =
+    numa_node match {
+      case None => options
+      case Some(n) => options.string("ML_process_policy") = policy(n)
+    }
+
 
   /* shuffling of CPU nodes */
 
diff -r 7700142d6d25 -r 89a12af9c330 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Sep 08 21:54:39 2018 +0200
+++ b/src/Pure/Tools/build.scala	Sat Sep 08 22:09:52 2018 +0200
@@ -195,11 +195,7 @@
     val numa_node: Option[Int],
     command_timings: List[Properties.T])
   {
-    val options =
-      numa_node match {
-        case None => info.options
-        case Some(n) => info.options.string("ML_process_policy") = NUMA.policy(n)
-      }
+    val options = NUMA.policy_options(info.options, numa_node)
 
     private val graph_file = Isabelle_System.tmp_file("session_graph", "pdf")
     isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph_display)