diff -r 0c2a62a9f136 -r 141df3fb25bf src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Fri Mar 08 20:29:05 2024 +0100
+++ b/src/Pure/Build/build.scala	Fri Mar 08 20:38:19 2024 +0100
@@ -445,7 +445,7 @@
             build_hosts = build_hosts.toList)
         }
       val stop_date = progress.now()
-      val elapsed_time = stop_date.time - progress.start.time
+      val elapsed_time = stop_date - progress.start
 
       progress.echo("\nFinished at " + Build_Log.print_date(stop_date), verbose = true)