--- a/src/Pure/build-jars Fri Jul 17 21:37:33 2015 +0200
+++ b/src/Pure/build-jars Fri Jul 17 21:40:47 2015 +0200
@@ -94,6 +94,7 @@
Tools/build_doc.scala
Tools/check_keywords.scala
Tools/check_source.scala
+ Tools/debugger.scala
Tools/doc.scala
Tools/main.scala
Tools/ml_statistics.scala