--- a/src/Pure/build-jars Tue Oct 29 19:42:40 2019 +0100
+++ b/src/Pure/build-jars Wed Oct 30 15:50:57 2019 +0100
@@ -154,6 +154,7 @@
Tools/fontforge.scala
Tools/main.scala
Tools/mkroot.scala
+ Tools/phabricator.scala
Tools/print_operation.scala
Tools/profiling_report.scala
Tools/server.scala