4238

1 files changed, 4 insertions, 3 deletions

diff --git a/build4 b/build4
index 6a7c40a8..132d9138 100755
--- a/build4
+++ b/build4
@@ -10,9 +10,10 @@
 #      'upstream', build2. And even then, diff gets confused.
 #   5. There's a mechanical difficulty: we use mktemp to reliably create
 #      temporary filenames, which has the side effect of also creating the
-#      files. So zero-size files are considered equivalent to empty files.
-#      When some commands have trouble with this (e.g. ar) we need to delete
-#      the empty file, which can expose us to a race condition wrt mktemp.
+#      files. So zero-size files are considered equivalent to non-existent
+#      files. When some commands have trouble with this (e.g. ar) we need to
+#      delete the empty file, which can expose us to a race condition wrt
+#      mktemp.
 
 set -e  # stop immediately on error