Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build_process.scala
changeset 77646 c55443f9fedd
parent 77640 9ed8b85e7d67
child 77648 e79a5ce8a74c 
--- 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