diff -r 9527ff088c15 -r fbccea37091d src/Pure/build-jars
--- a/src/Pure/build-jars	Fri Feb 26 22:44:11 2016 +0100
+++ b/src/Pure/build-jars	Sat Feb 27 16:19:02 2016 +0100
@@ -75,6 +75,7 @@
   ROOT.scala
   System/command_line.scala
   System/cygwin.scala
+  System/getopts.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala