# HG changeset patch
# User wenzelm
# Date 1494093608 -7200
# Node ID a124fbf8b2b99997f12adbdf29aab6d8391e52b3
# Parent  92028ab1c3d7b547cecf555d4765f9b828ec6351
tuned;

diff -r 92028ab1c3d7 -r a124fbf8b2b9 src/Pure/Admin/build_status.scala
--- a/src/Pure/Admin/build_status.scala	Sat May 06 19:42:49 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Sat May 06 20:00:08 2017 +0200
@@ -267,9 +267,8 @@
       val progress = new Console_Progress
 
       val data =
-        read_data(options, profiles = standard_profiles, progress = progress,
-          history_length = history_length, only_sessions = only_sessions,
-          elapsed_threshold = elapsed_threshold)
+        read_data(options, progress = progress, history_length = history_length,
+          only_sessions = only_sessions, elapsed_threshold = elapsed_threshold)
 
       present_data(data, progress = progress, target_dir = target_dir,
         image_size = image_size, ml_timing = ml_timing)