diff options
| -rwxr-xr-x | build4 | 7 |
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 |