tuned output;

--- 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