dont leave temporary files laying around

diff --git a/Porting/make_snapshot.pl b/Porting/make_snapshot.pl
index cab61b1..70a4c3d 100755 (executable)
--- a/Porting/make_snapshot.pl
+++ b/Porting/make_snapshot.pl
@@ -71,6 +71,7 @@ if (!-e "$path/$gz_file") {
         close $fh;
     }
     system("tar -f $tar_file --transform='s,^$$,$prefix,g' --owner=root --group=root --mode=664 --append $$.patch");
+    unlink "$$.patch";
     system("gzip -S .gz -9 $tar_file");
     rename "$tar_file.gz", "$gz_file";
 }