proper build_master.build_uuid;

--- a/src/Pure/Tools/build.scala	Wed Jun 28 13:30:53 2023 +0200
+++ b/src/Pure/Tools/build.scala	Wed Jun 28 14:45:29 2023 +0200
@@ -441,7 +441,8 @@
 
     val build_context =
       Build_Process.init_context(store, build_deps, progress = progress,
-        hostname = hostname(build_options), numa_shuffling = numa_shuffling, max_jobs = max_jobs)
+        hostname = hostname(build_options), numa_shuffling = numa_shuffling, max_jobs = max_jobs,
+        build_uuid = build_master.build_uuid)
 
     build_results(build_options, build_context, progress)
   }