src/Pure/Tools/build.scala
changeset 68953 89a12af9c330
parent 68928 835e5d45359c
child 68957 eef4e983fd9d
     1.1 --- a/src/Pure/Tools/build.scala	Sat Sep 08 21:54:39 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sat Sep 08 22:09:52 2018 +0200
     1.3 @@ -195,11 +195,7 @@
     1.4      val numa_node: Option[Int],
     1.5      command_timings: List[Properties.T])
     1.6    {
     1.7 -    val options =
     1.8 -      numa_node match {
     1.9 -        case None => info.options
    1.10 -        case Some(n) => info.options.string("ML_process_policy") = NUMA.policy(n)
    1.11 -      }
    1.12 +    val options = NUMA.policy_options(info.options, numa_node)
    1.13  
    1.14      private val graph_file = Isabelle_System.tmp_file("session_graph", "pdf")
    1.15      isabelle.graphview.Graph_File.write(options, graph_file, deps(name).session_graph_display)