# HG changeset patch
# User wenzelm
# Date 1678783627 -3600
# Node ID c55443f9fedd2d18ad4589db5ebce09741df77c1
# Parent  4563db765eb273b2a1b6c548731d053ccf75f50e
tuned output;

diff -r 4563db765eb2 -r c55443f9fedd src/Pure/Tools/build_process.scala
--- 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