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"