Delete output files if they exist.

diff --git a/v7/dist/make-src-files b/v7/dist/make-src-files
index a1e4e9325eac06b9a2ce5bd8d171ecc144f22c31..7cbdcf2be53f5cb7ef3a451cb208179c6e23f4ce 100755 (executable)
--- a/v7/dist/make-src-files
+++ b/v7/dist/make-src-files
@@ -19,6 +19,10 @@ tarfile=${prefix}-src.tar.gz
 zipfile=${prefix}-src.zip
 ucfile=${prefix}-src-ucode-gnu-linux.tar.gz
 
+rm -f ${tarfile}
+rm -f ${zipfile}
+rm -f ${ucfile}
+
 tar cvzf ${tarfile} ${destination}
 zip -rl ${zipfile} ${destination}