# HG changeset patch
# User wenzelm
# Date 1687956329 -7200
# Node ID 67e836ce3f04ece932f3aee7df7c09327bc51ab5
# Parent  1ba48d4020057f339fe59b247e7036faf3522c6f
proper build_master.build_uuid;

diff -r 1ba48d402005 -r 67e836ce3f04 src/Pure/Tools/build.scala
--- 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)
   }