src/Pure/System/isabelle_tool.scala

--- a/src/Pure/System/isabelle_tool.scala	Sat Aug 13 23:33:58 2016 +0200
+++ b/src/Pure/System/isabelle_tool.scala	Sat Aug 13 23:45:29 2016 +0200
@@ -101,6 +101,7 @@
     List(
       Build.isabelle_tool,
       Build_Doc.isabelle_tool,
+      Build_Stats.isabelle_tool,
       Check_Sources.isabelle_tool,
       Doc.isabelle_tool,
       ML_Process.isabelle_tool,