diff -r 8f5f5fbe291b -r 32d76f08023f src/Pure/build-jars
--- a/src/Pure/build-jars	Fri Mar 09 15:43:54 2018 +0100
+++ b/src/Pure/build-jars	Fri Mar 09 17:03:10 2018 +0100
@@ -127,6 +127,7 @@
   System/process_result.scala
   System/progress.scala
   System/system_channel.scala
+  System/tty_loop.scala
   Thy/bibtex.scala
   Thy/html.scala
   Thy/latex.scala