# HG changeset patch
# User Gary V. Vaughan <gary@gnu.org>
# Date 1382836088 -46800
# Node ID 5c0d7397511558dde47be5b32f14ffff393c848e
# Parent  a5d7c32e5bd367b7b3c3ed82ba17980c2b4c967a
maint.mk: get current gnulib revision correctly.

* top/maint.mk (gnulib-version): Use git rev-parse to get the
current HEAD revision.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>

diff -r a5d7c32e5bd3 -r 5c0d73975115 top/maint.mk
--- a/top/maint.mk	Mon Oct 21 22:48:35 2013 -0700
+++ b/top/maint.mk	Sun Oct 27 14:08:08 2013 +1300
@@ -1283,7 +1283,7 @@
 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