src/Pure/System/numa.scala
changeset 71601 97ccf48c2f0c
parent 68956 122c0d6cb790
child 75393 87ebf5a50283
equal deleted inserted replaced
71600:64aad1e46f98 71601:97ccf48c2f0c
    24         case Multiple(Value.Int(i), Value.Int(j)) => (i to j).toList
    24         case Multiple(Value.Int(i), Value.Int(j)) => (i to j).toList
    25         case _ => error("Cannot parse CPU node specification: " + quote(s))
    25         case _ => error("Cannot parse CPU node specification: " + quote(s))
    26       }
    26       }
    27 
    27 
    28     if (numa_nodes_linux.is_file) {
    28     if (numa_nodes_linux.is_file) {
    29       space_explode(',', File.read(numa_nodes_linux).trim).flatMap(read(_))
    29       space_explode(',', File.read(numa_nodes_linux).trim).flatMap(read)
    30     }
    30     }
    31     else Nil
    31     else Nil
    32   }
    32   }
    33 
    33 
    34 
    34