# HG changeset patch
# User wenzelm
# Date 1678189827 -3600
# Node ID a24d77f2cfe97a75c5e1d8e30fa53c338e28ff9d
# Parent  5749ee7c45a056ec4062a69e5f3aec62313973b0
tuned output;

diff -r 5749ee7c45a0 -r a24d77f2cfe9 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Tue Mar 07 12:40:10 2023 +0100
+++ b/src/Pure/Tools/build_process.scala	Tue Mar 07 12:50:27 2023 +0100
@@ -102,6 +102,9 @@
     val session_setup: (String, Session) => Unit,
     val build_uuid: String
   ) {
+    override def toString: String =
+      "Build_Process.Context(build_uuid = " + quote(build_uuid) + ")"
+
     def build_options: Options = store.options
 
     def sessions_structure: Sessions.Structure = build_deps.sessions_structure