src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Oct 19 16:30:24 2016 +0200
+++ b/src/Pure/build-jars	Wed Oct 19 17:03:44 2016 +0200
@@ -19,6 +19,7 @@
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
   Admin/other_isabelle.scala
+  Admin/profiling_report.scala
   Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala
   Concurrent/counter.scala