--- a/src/Pure/build-jars Fri Jun 10 23:13:04 2016 +0200
+++ b/src/Pure/build-jars Sat Jun 11 17:23:24 2016 +0200
@@ -101,6 +101,7 @@
Tools/build_doc.scala
Tools/check_keywords.scala
Tools/check_sources.scala
+ Tools/ci_profile.scala
Tools/debugger.scala
Tools/doc.scala
Tools/main.scala