aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
diff options
context:
space:
mode:
authorproofgen1999-06-28 14:12:46 +0000
committerproofgen1999-06-28 14:12:46 +0000
commit4d1262eee90bb4ae0cb32bcc08b9c8223ef3ac3f (patch)
tree75b082e60d94491dc2bf419d93fda01abf21e788 /Makefile.devel
parentd809fd8d6319295a40aecc8f656b6159f2a21479 (diff)
Remove temporary file
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel
index 2cc9f82f..4e8231b1 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -292,6 +292,7 @@ dist:
@echo "*************************************************"
(cd $(DISTBUILDIR); for f in $(IGNOREDFILES); do echo $$f >> ignoredfiles; done)
$(TAR) -cvhf $(DISTBUILDIR)/$(RELEASENAMETAR) -C $(DISTBUILDIR) $(RELEASENAME) -X $(DISTBUILDIR)/ignoredfiles
+ rm -f ignoredfiles
gzip -9 $(DISTBUILDIR)/$(RELEASENAMETAR)
@echo "*************************************************"
@echo " Finished making dist."