git-wad

commit d7203b82a09e48ec3f81a73471edf3f4e240085d
parent e67652468fff3ff9e71a9dbf5f0cf899b5ec0b58
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Sat,  2 Dec 2023 15:29:55 +0100

Cleaning the git clean filter

A temporary file was not deleted when the filtered file was smudged.

Diffstat:
M
git-wad
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/git-wad b/git-wad
@@ -74,6 +74,7 @@ clean() # stdin
   # Do not clean input stream if it is an un-smudged WAD
   if [ "${header}" = "${GIT_WAD_HEADER}" ]; then
     cat "${tmpfile}"
+    rm "${tmpfile}"
     return 0
   fi