tuned message;
authorwenzelm
Fri, 25 Aug 2023 13:56:00 +0200
changeset 78575 ff86f10e54cd
parent 78574 06e045375487
child 78576 2baa77e37406
tuned message;
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)