changeset 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 ab4099a3573e
children ebb6dbbb8b3f
files Makefile.in
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
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: