Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Sat, 08 Sep 2018 22:52:12 +0200
changeset 68956 122c0d6cb790
parent 68955 0851db8cde12
child 68957 eef4e983fd9d
tuned message;
src/Pure/System/numa.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/numa.scala	Sat Sep 08 22:43:25 2018 +0200
+++ b/src/Pure/System/numa.scala	Sat Sep 08 22:52:12 2018 +0200
@@ -56,7 +56,7 @@
   {
     def warning =
       if (nodes().length < 2) Some("no NUMA nodes available")
-      else if (!numactl_available) Some("missing numactl tool")
+      else if (!numactl_available) Some("bad numactl tool")
       else None
 
     enabled &&
isabelle