src/Pure/Admin/build_status.scala

 
   def build_status(options: Options,
     progress: Progress = new Progress,
     profiles: List[Profile] = default_profiles,
     only_sessions: Set[String] = Set.empty,
-    verbose: Boolean = false,
     target_dir: Path = default_target_dir,
     ml_statistics: Boolean = false,
     image_size: (Int, Int) = default_image_size
   ): Unit = {
     val ml_statistics_domain =
       Iterator(ML_Statistics.heap_fields, ML_Statistics.program_fields, ML_Statistics.tasks_fields,
         ML_Statistics.workers_fields).flatMap(_._2).toSet
 
     val data =
-      read_data(options, progress = progress, profiles = profiles,
-        only_sessions = only_sessions, verbose = verbose,
+      read_data(options, progress = progress, profiles = profiles, only_sessions = only_sessions,
         ml_statistics = ml_statistics, ml_statistics_domain = ml_statistics_domain)
 
     present_data(data, progress = progress, target_dir = target_dir, image_size = image_size)
   }
 

   def read_data(options: Options,
     progress: Progress = new Progress,
     profiles: List[Profile] = default_profiles,
     only_sessions: Set[String] = Set.empty,
     ml_statistics: Boolean = false,
-    ml_statistics_domain: String => Boolean = _ => true,
-    verbose: Boolean = false
+    ml_statistics_domain: String => Boolean = _ => true
   ): Data = {
     val date = Date.now()
     var data_hosts = Map.empty[String, Set[String]]
     var data_stretch = Map.empty[String, Double]
     var data_entries = Map.empty[String, Map[String, Session]]

           (if (ml_statistics) List(Build_Log.Data.ml_statistics) else Nil)
 
         val Threads_Option = """threads\s*=\s*(\d+)""".r
 
         val sql = profile.select(options, columns, only_sessions)
-        progress.echo_if(verbose, sql)
+        progress.echo(sql, verbose = true)
 
         db.using_statement(sql) { stmt =>
           val res = stmt.execute_query()
           while (res.next()) {
             val session_name = res.string(Build_Log.Data.session_name)

           "v" -> (_ => verbose = true))
 
         val more_args = getopts(args)
         if (more_args.nonEmpty) getopts.usage()
 
-        val progress = new Console_Progress
-
-        build_status(options, progress = progress, only_sessions = only_sessions, verbose = verbose,
+        val progress = new Console_Progress(verbose = verbose)
+
+        build_status(options, progress = progress, only_sessions = only_sessions,
           target_dir = target_dir, ml_statistics = ml_statistics, image_size = image_size)
       })
 }