# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1699895285 -3600
# Node ID 8da0eedd562c59d4fdc3e208120789b768e318bb
# Parent  4a5d35b35aeb9ff240676b30c3f2b8c9b0691d27
tuned message;

diff -r 4a5d35b35aeb -r 8da0eedd562c src/Pure/Tools/build_schedule.scala
--- a/src/Pure/Tools/build_schedule.scala	Mon Nov 13 17:48:11 2023 +0100
+++ b/src/Pure/Tools/build_schedule.scala	Mon Nov 13 18:08:05 2023 +0100
@@ -628,7 +628,7 @@
           val estimate = Date(Time.now() + scheduler.build_duration(state))
           val elapsed = Time.now() - start
 
-          val timing_msg = if (elapsed.is_relevant) " (in " + elapsed.message + ")" else ""
+          val timing_msg = if (elapsed.is_relevant) " (took " + elapsed.message + ")" else ""
           progress.echo_if(build_context.master && !cache.is_current_estimate(estimate),
             "Estimated completion: " + estimate + timing_msg)