diff options
| -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 |