Further to my earlier bug report. Okay to push? * top/maint.mk (gnulib-version): Use git rev-parse to get the current HEAD revision.
Signed-off-by: Gary V. Vaughan <g...@gnu.org> --- top/maint.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/top/maint.mk b/top/maint.mk index c1b786f..c9f8cc8 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1283,7 +1283,7 @@ vc-diff-check: rel-files = $(DIST_ARCHIVES) gnulib_dir ?= $(srcdir)/gnulib -gnulib-version = $$(cd $(gnulib_dir) && git describe) +gnulib-version = $$(cd $(gnulib_dir) && git rev-parse --short HEAD) bootstrap-tools ?= autoconf,automake,gnulib # If it's not already specified, derive the GPG key ID from -- 1.8.3.4 (Apple Git-47)
