diff -r d7e0004d4321 -r 74604a9fc4c8 src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Aug 09 23:19:35 2016 +0200
+++ b/src/Pure/build-jars	Tue Aug 09 23:26:51 2016 +0200
@@ -104,6 +104,7 @@
   Tools/build_doc.scala
   Tools/check_keywords.scala
   Tools/check_sources.scala
+  Tools/ci_api.scala
   Tools/ci_profile.scala
   Tools/debugger.scala
   Tools/doc.scala