Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 78839 7799ec03b8bd
parent 78705 fde0b195cb7d
child 78842 eb572f7b6689 
--- a/src/Pure/Tools/build.scala	Wed Oct 18 19:05:06 2023 +0200
+++ b/src/Pure/Tools/build.scala	Wed Oct 18 19:26:37 2023 +0200
@@ -115,7 +115,7 @@
     }
 
     def process_options(options: Options, node_info: Host.Node_Info): Options =
-      Host.process_policy_options(options, node_info.numa_node)
+      Host.node_options(options, node_info)
 
     final def build_store(options: Options,
       build_hosts: List[Build_Cluster.Host] = Nil,
isabelle