# HG changeset patch
# User wenzelm
# Date 1692964560 -7200
# Node ID ff86f10e54cd6a0ff96ea4385304311e3da078f4
# Parent  06e045375487f4dc0f49b9cd44074645a4666d21
tuned message;

diff -r 06e045375487 -r ff86f10e54cd src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Wed Aug 23 16:04:04 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Fri Aug 25 13:56:00 2023 +0200
@@ -1026,10 +1026,13 @@
         } yield n
       val node_info = Host.Node_Info(hostname, numa_node)
 
+      val print_node_info =
+        node_info.numa_node.isDefined ||
+        _build_database.isDefined && _build_database.get.is_postgresql
+
       progress.echo(
         (if (store_heap) "Building " else "Running ") + session_name +
-          (if (_build_database.isDefined || node_info.numa_node.isDefined) " on " + node_info
-           else "") + " ...")
+          (if (print_node_info) " (on " + node_info + ")" else "") + " ...")
 
       val session = state.sessions(session_name)