src/Pure/Admin/isabelle_devel.scala

--- a/src/Pure/Admin/isabelle_devel.scala	Wed May 17 13:52:46 2017 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Wed May 17 14:58:48 2017 +0200
@@ -83,6 +83,6 @@
   def build_status(options: Options)
   {
     Isabelle_System.update_directory(root + Path.explode(BUILD_STATUS),
-      dir => Build_Status.build_status(options, target_dir = dir))
+      dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))
   }
 }