Handle trying to remake the tar ball

Now running make when the tar ball already exists will result in it not being recreated.
2025-12-06 11:39:40 +08:00 · 2013-06-29 22:18:08 -05:00
parent 0ecefe0230
commit 314afb81d0
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@@ -26,7 +26,9 @@ install:
 clean:
 	rm -f $(name)-*.tar.gz

-dist:
+dist:	$(name)-$(version).tar.gz
+
+$(name)-$(version).tar.gz:
 	git archive --format=tar --prefix=$(name)-$(version)/ HEAD | gzip > $(name)-$(version).tar.gz

 publish: