# HG changeset patch
# User wenzelm
# Date 1699111824 -3600
# Node ID 801f8237cc5e67a17e7cfb6e78a443c4139a9b40
# Parent  1fbfe0bca5e1ac379dfde75f07de5aa63ac7a266
tuned;

diff -r 1fbfe0bca5e1 -r 801f8237cc5e src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Nov 04 16:07:22 2023 +0100
+++ b/src/Pure/Tools/build.scala	Sat Nov 04 16:30:24 2023 +0100
@@ -402,10 +402,8 @@
 
       val progress = new Console_Progress(verbose = verbose)
 
-      val start_date = Date.now()
-
       progress.echo(
-        "Started at " + Build_Log.print_date(start_date) +
+        "Started at " + Build_Log.print_date(progress.start) +
           " (" + Isabelle_System.ml_identifier() + " on " + hostname(options) +")",
         verbose = true)
       progress.echo(Build_Log.Settings.show() + "\n", verbose = true)
@@ -440,7 +438,7 @@
             build_hosts = build_hosts.toList)
         }
       val stop_date = Date.now()
-      val elapsed_time = stop_date.time - start_date.time
+      val elapsed_time = stop_date.time - progress.start.time
 
       progress.echo("\nFinished at " + Build_Log.print_date(stop_date), verbose = true)