# HG changeset patch
# User wenzelm
# Date 1754425469 -7200
# Node ID c5b07e7ab7f312d93c9d25d0822c2420adca5fb2
# Parent  a4e457dc735ed605036bc4c06bd631ed4dca47eb
tuned;

diff -r a4e457dc735e -r c5b07e7ab7f3 src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Tue Aug 05 22:22:11 2025 +0200
+++ b/src/Pure/Build/build.scala	Tue Aug 05 22:24:29 2025 +0200
@@ -729,7 +729,8 @@
 
       val blobs =
         blobs_files0.map { case (command_offset, name0) =>
-          val name = migrate_file(name0)
+          val node_name = Document.Node.Name(migrate_file(name0))
+          val src_path = Path.explode(name0)
 
           val file = read_source_file(name0)
           val bytes = file.bytes
@@ -737,7 +738,7 @@
           val chunk = Symbol.Text_Chunk(text)
           val content = Some((file.digest, chunk))
 
-          Command.Blob(command_offset, Document.Node.Name(name), Path.explode(name0), content) ->
+          Command.Blob(command_offset, node_name, src_path, content) ->
             Document.Blobs.Item(bytes, text, chunk, command_offset = command_offset)
         }