src/Pure/Admin/build_status.scala

   def read_data(options: Options,
     profiles: List[Profile] = standard_profiles,
     progress: Progress = No_Progress,
     history_length: Int = default_history_length,
     only_sessions: Set[String] = Set.empty,
-    elapsed_threshold: Time = Time.zero): Data =
+    elapsed_threshold: Time = Time.zero,
+    verbose: Boolean = false): Data =
   {
     var data: Data = Map.empty
 
     val store = Build_Log.store(options)
     using(store.open_database())(db =>

             Build_Log.Data.timing_gc,
             Build_Log.Data.ml_timing_elapsed,
             Build_Log.Data.ml_timing_cpu,
             Build_Log.Data.ml_timing_gc)
 
-        db.using_statement(profile.select(columns, history_length, only_sessions))(stmt =>
+        val sql = profile.select(columns, history_length, only_sessions)
+        if (verbose) progress.echo(sql)
+
+        db.using_statement(sql)(stmt =>
         {
           val res = stmt.execute_query()
           while (res.next()) {
             val ml_platform = res.string(Build_Log.Settings.ML_PLATFORM)
             val threads = res.get_int(Build_Log.Data.threads)

       var only_sessions = Set.empty[String]
       var elapsed_threshold = Time.zero
       var history_length = default_history_length
       var options = Options.init()
       var image_size = default_image_size
+      var verbose = false
 
       val getopts = Getopts("""
 Usage: isabelle build_status [OPTIONS]
 
   Options are:

     -T THRESHOLD only sessions with elapsed time >= THRESHOLD (minutes)
     -l LENGTH    length of history (default """ + default_history_length + """)
     -m           include ML timing
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -s WxH       size of PNG image (default """ + image_size._1 + "x" + image_size._2 + """)
+    -v           verbose
 
   Present performance statistics from build log database, which is specified
   via system options build_log_database_host, build_log_database_user etc.
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)),

         "o:" -> (arg => options = options + arg),
         "s:" -> (arg =>
           space_explode('x', arg).map(Value.Int.parse(_)) match {
             case List(w, h) if w > 0 && h > 0 => image_size = (w, h)
             case _ => error("Error bad PNG image size: " + quote(arg))
-          }))
+          }),
+        "v" -> (_ => verbose = true))
 
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
       val progress = new Console_Progress
 
       val data =
         read_data(options, progress = progress, history_length = history_length,
-          only_sessions = only_sessions, elapsed_threshold = elapsed_threshold)
+          only_sessions = only_sessions, elapsed_threshold = elapsed_threshold, verbose = verbose)
 
       present_data(data, progress = progress, target_dir = target_dir,
         image_size = image_size, ml_timing = ml_timing)
 
   }, admin = true)