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/update.scala
changeset 77477 f376aebca9c1
parent 77326 b3f8aad678e9
child 77521 5642de4d225d 
--- a/src/Pure/Tools/update.scala	Thu Mar 02 14:41:21 2023 +0100
+++ b/src/Pure/Tools/update.scala	Thu Mar 02 14:58:59 2023 +0100
@@ -220,7 +220,7 @@
               clean_build,
               dirs = dirs,
               select_dirs = select_dirs,
-              numa_shuffling = NUMA.check(progress, numa_shuffling),
+              numa_shuffling = Host.numa_check(progress, numa_shuffling),
               max_jobs = max_jobs,
               fresh_build,
               no_build = no_build,
isabelle