diff Makefile.in @ 4799:68b3f1ccccac

if available, use HG-ID in dist-file name
author John W. Eaton <jwe@octave.org>
date Thu, 16 Aug 2018 06:07:51 -0400
parents d4bf89da9080
children 14328ca36f61
line wrap: on
line diff
--- a/Makefile.in	Thu Aug 16 06:00:42 2018 -0400
+++ b/Makefile.in	Thu Aug 16 06:07:51 2018 -0400
@@ -1063,7 +1063,9 @@
 PACKAGE_VERSION := @PACKAGE_VERSION@
 PACKAGE_TARNAME := @PACKAGE_TARNAME@
 
-distdir := $(PACKAGE_TARNAME)-$(PACKAGE_VERSION)
+DIST_FILE_VERSION := $(shell if [ -f HG-ID ]; then cat HG-ID; else echo $(PACKAGE_VERSION); fi)
+
+distdir := $(PACKAGE_TARNAME)-$(DIST_FILE_VERSION)
 
 .PHONY: dist
 dist: