Skip to content
Failed

Changes

Summary

  1. support for Non-Uniform Memory Access of separate CPU nodes;
  2. proper result;
Changeset 64264:42138702d6ec by wenzelm:
support for Non-Uniform Memory Access of separate CPU nodes;
The file was addedsrc/Pure/System/numa.scala
The file was modified src/Pure/build-jars (diff)
Changeset 64263:d389a83b8d55 by wenzelm:
proper result;
The file was modified src/Pure/Admin/build_history.scala (diff)