--- 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)