diff make-dist @ 3155:b18adae0a424

Don't forget to remove temporary files.
author Jim Blandy <jimb@redhat.com>
date Thu, 27 May 1993 01:12:16 +0000
parents 6bdedf954822
children 3d245dcabb93
line wrap: on
line diff
--- a/make-dist	Thu May 27 00:21:21 1993 +0000
+++ b/make-dist	Thu May 27 01:12:16 1993 +0000
@@ -95,6 +95,7 @@
   echo "The following .elc files have no corresponding .el files:"
   echo "${bogosities}"
 fi
+rm -f /tmp/el /tmp/elc
 
 echo "Creating staging directory: \`${tempparent}'"
 mkdir ${tempparent}