src/Pure/Admin/build_status.scala
changeset 65745 a124fbf8b2b9
parent 65743 4847ca570454
child 65747 5a3052b2095f
     1.1 --- a/src/Pure/Admin/build_status.scala	Sat May 06 19:42:49 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Sat May 06 20:00:08 2017 +0200
     1.3 @@ -267,9 +267,8 @@
     1.4        val progress = new Console_Progress
     1.5  
     1.6        val data =
     1.7 -        read_data(options, profiles = standard_profiles, progress = progress,
     1.8 -          history_length = history_length, only_sessions = only_sessions,
     1.9 -          elapsed_threshold = elapsed_threshold)
    1.10 +        read_data(options, progress = progress, history_length = history_length,
    1.11 +          only_sessions = only_sessions, elapsed_threshold = elapsed_threshold)
    1.12  
    1.13        present_data(data, progress = progress, target_dir = target_dir,
    1.14          image_size = image_size, ml_timing = ml_timing)