src/Pure/Admin/build_status.scala

--- a/src/Pure/Admin/build_status.scala	Sat Nov 10 07:57:20 2018 +0000
+++ b/src/Pure/Admin/build_status.scala	Sat Nov 10 14:08:02 2018 +0100
@@ -591,6 +591,5 @@
 
       build_status(options, progress = progress, only_sessions = only_sessions, verbose = verbose,
         target_dir = target_dir, ml_statistics = ml_statistics, image_size = image_size)
-
-  }, admin = true)
+    })
 }