From 76c76f993872f48a63ac99ed6c838d6168ffacae Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 11 Sep 2007 11:26:11 +0200 Subject: [PATCH] Makefile.am: add target for creating dist with git version in name --- Makefile.am | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile.am b/Makefile.am index ad39805..9a8f22a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -273,6 +273,9 @@ dist-hook: echo $(GIT_HEAD_ID) > $(distdir)/GIT_HEAD_ID; \ fi +dist-git: dist + mv $(distdir).tar.gz @GIT_HEAD_VERSION@.tar.gz + BEE_TESTDIRS = ehrhart_e ehrhart_e/scarf ehrhart_e/piplib check: check-testlib check-enumerate check-enumerate_e check-test \ -- 2.11.4.GIT