diff -r c1e24d017918 -r 86b413b8f779 src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Jul 19 21:32:54 2014 +0200
+++ b/src/Pure/build-jars	Sun Jul 20 17:21:14 2014 +0200
@@ -86,6 +86,7 @@
   Tools/check_source.scala
   Tools/build.scala
   Tools/build_doc.scala
+  Tools/build_console.scala
   Tools/doc.scala
   Tools/keywords.scala
   Tools/main.scala