# HG changeset patch
# User wenzelm
# Date 1698927366 -3600
# Node ID 2e260496a4f892aa1e04720a05268db7d67a3735
# Parent  d03bbdd9e735a85a42566e6d45742d900653723d
tuned message;

diff -r d03bbdd9e735 -r 2e260496a4f8 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Thu Nov 02 13:05:29 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Thu Nov 02 13:16:06 2023 +0100
@@ -1084,7 +1084,7 @@
             progress.echo(verbose = true,
               msg =
                 "Log " + quote(log_file.name) + " (" +
-                  (t1 - t0).message + " start time, " +
+                  (t1 - t0).message_hms + " start time, " +
                   (t2 - t1).message + " elapsed time)")
 
             true