--- 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