Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Wed, 23 Aug 2023 11:31:17 +0200
changeset 78570 25c04910dcfa
parent 78569 50675688c4df
child 78571 ed07f0ebf31c
tuned message;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_process.scala	Wed Aug 23 11:20:07 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Wed Aug 23 11:31:17 2023 +0200
@@ -1039,7 +1039,8 @@
 
       progress.echo(
         (if (store_heap) "Building " else "Running ") + session_name +
-          if_proper(node_info.numa_node, " on " + node_info) + " ...")
+          (if (_build_database.isDefined || node_info.numa_node.isDefined) " on " + node_info
+           else "") + " ...")
 
       val session = state.sessions(session_name)
isabelle