diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-12 15:56:15 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-12 15:56:15 -0400 |
commit | 6f133f0dd473af9ae184f2118fb72b72484dc2d3 (patch) | |
tree | a5d98dd84aea48a4d62a8d9d96370030e8ae27a2 /tools/notsd-fixup--includes | |
parent | 9e6118bc711885797bd2320d7bc859e70ad57edb (diff) |
tools/notsd-fixup--includes: add a comment
Diffstat (limited to 'tools/notsd-fixup--includes')
-rwxr-xr-x | tools/notsd-fixup--includes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/notsd-fixup--includes b/tools/notsd-fixup--includes index 46deaa8e8e..5c001b949f 100755 --- a/tools/notsd-fixup--includes +++ b/tools/notsd-fixup--includes @@ -228,6 +228,8 @@ main() { done "$hook" } < "$current_file" > "$current_file.tmp" + # I specificially don't use write-ifchanged because I don't want the + # temporary file to have the .c suffix. if cmp -s "$current_file.tmp" "$current_file"; then rm -f "$current_file.tmp" || : else |