# HG changeset patch
# User wenzelm
# Date 1536439405 -7200
# Node ID 0851db8cde124c99d3d3b2de5c5073b165c26d06
# Parent  8be4030394b83162d378f22cf2a1d70f460588b5
more robust test: virtualization may provide misleading information;

diff -r 8be4030394b8 -r 0851db8cde12 src/Pure/System/numa.scala
--- a/src/Pure/System/numa.scala	Sat Sep 08 22:21:19 2018 +0200
+++ b/src/Pure/System/numa.scala	Sat Sep 08 22:43:25 2018 +0200
@@ -34,7 +34,7 @@
 
   /* CPU policy via numactl tool */
 
-  lazy val numactl_available: Boolean = Isabelle_System.bash("numactl --hardware").ok
+  lazy val numactl_available: Boolean = Isabelle_System.bash("numactl -m0 -N0 true").ok
 
   def policy(node: Int): String =
     if (numactl_available) "numactl -m" + node + " -N" + node else ""