# HG changeset patch
# User wenzelm
# Date 1754425331 -7200
# Node ID a4e457dc735ed605036bc4c06bd631ed4dca47eb
# Parent  728762181377f05fe7861cbfd2af4c3e56a46308
more robust (again), for the sake of Windows;

diff -r 728762181377 -r a4e457dc735e src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Tue Aug 05 21:25:52 2025 +0200
+++ b/src/Pure/Build/build.scala	Tue Aug 05 22:22:11 2025 +0200
@@ -737,7 +737,7 @@
           val chunk = Symbol.Text_Chunk(text)
           val content = Some((file.digest, chunk))
 
-          Command.Blob(command_offset, Document.Node.Name(name), Path.explode(name), content) ->
+          Command.Blob(command_offset, Document.Node.Name(name), Path.explode(name0), content) ->
             Document.Blobs.Item(bytes, text, chunk, command_offset = command_offset)
         }