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 output;
authorwenzelm
Tue, 14 Mar 2023 09:47:07 +0100
changeset 77646 c55443f9fedd
parent 77641 4563db765eb2
child 77647 c14db5d67400
tuned output;
src/Pure/Tools/build_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_process.scala	Mon Mar 13 22:21:33 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Tue Mar 14 09:47:07 2023 +0100
@@ -105,7 +105,8 @@
     val master: Boolean
   ) {
     override def toString: String =
-      "Build_Process.Context(build_uuid = " + quote(build_uuid) + ")"
+      "Build_Process.Context(build_uuid = " + quote(build_uuid) +
+        if_proper(master, ", master = true") + ")"
 
     def build_options: Options = store.options
isabelle