src/Pure/Tools/build.scala

 
     val sessions = getopts(args)
 
     val progress = new Console_Progress(verbose = verbose)
 
+    val start_date = Date.now()
+
     if (verbose) {
       progress.echo(
-        Library.trim_line(
-          Isabelle_System.bash(
-            """echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" """).out) + "\n")
+        "Started at " + Build_Log.Log_File.Date_Format(start_date) +
+          " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
       progress.echo(Build_Log.Settings.show() + "\n")
     }
 
-    val start_time = Time.now()
     val results =
       progress.interrupt_handler {
         build(options, progress,
           build_heap = build_heap,
           clean_build = clean_build,

           exclude_session_groups = exclude_session_groups,
           exclude_sessions = exclude_sessions,
           session_groups = session_groups,
           sessions = sessions)
       }
-    val elapsed_time = Time.now() - start_time
+    val end_date = Date.now()
+    val elapsed_time = end_date.time - start_date.time
 
     if (verbose) {
-      progress.echo("\n" +
-        Library.trim_line(
-          Isabelle_System.bash("""echo -n "Finished at "; date""").out))
+      progress.echo("\nFinished at " + Build_Log.Log_File.Date_Format(end_date))
     }
 
     val total_timing =
       (Timing.zero /: results.sessions.iterator.map(a => results(a).timing))(_ + _).
         copy(elapsed = elapsed_time)