src/Pure/build-jars

--- a/src/Pure/build-jars	Mon Oct 28 20:51:38 2019 +0100
+++ b/src/Pure/build-jars	Tue Oct 29 18:08:24 2019 +0100
@@ -125,6 +125,7 @@
   System/isabelle_process.scala
   System/isabelle_system.scala
   System/isabelle_tool.scala
+  System/linux.scala
   System/numa.scala
   System/options.scala
   System/platform.scala