diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/ifchange | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/ifchange b/tool/ifchange index 7a192643f9..544513ad15 100755 --- a/tool/ifchange +++ b/tool/ifchange @@ -10,6 +10,7 @@ if [ "$temp" = - ]; then fi if cmp "$target" "$temp" >/dev/null 2>&1; then echo "$target unchanged" + rm -f "$temp" else echo "$target updated" mv -f "$temp" "$target" |