changeset 64264 | 42138702d6ec |
parent 64202 | 967515846691 |
child 64311 | 3d5e7719e878 |
--- a/src/Pure/build-jars Sun Oct 16 20:08:23 2016 +0200 +++ b/src/Pure/build-jars Sun Oct 16 20:19:10 2016 +0200 @@ -104,6 +104,7 @@ System/isabelle_process.scala System/isabelle_system.scala System/isabelle_tool.scala + System/numa.scala System/options.scala System/platform.scala System/posix_interrupt.scala