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 77326 b3f8aad678e9
parent 77315 f34559b24277
child 77330 47eb96592aa2 
--- a/src/Pure/Tools/build.scala	Mon Feb 20 21:53:15 2023 +0100
+++ b/src/Pure/Tools/build.scala	Tue Feb 21 10:43:30 2023 +0100
@@ -293,7 +293,7 @@
             clean_build = clean_build,
             dirs = dirs,
             select_dirs = select_dirs,
-            numa_shuffling = NUMA.enabled_warning(progress, numa_shuffling),
+            numa_shuffling = NUMA.check(progress, numa_shuffling),
             max_jobs = max_jobs,
             list_files = list_files,
             check_keywords = check_keywords,
isabelle