diff options
| author | Gary V. Vaughan <gary@gnu.org> | 2013-10-27 14:08:08 +1300 |
|---|---|---|
| committer | Gary V. Vaughan <gary@gnu.org> | 2013-10-27 14:08:08 +1300 |
| commit | 6b24f60dad0f97704ae07d9688de7f31c1923bf7 (patch) | |
| tree | fa730b487a3f978c89e8fbcc397d64f7ccd565b4 | |
| parent | 5191b3546cfb6c163228c23f214e325ddf60d46f (diff) | |
| download | gnulib-6b24f60dad0f97704ae07d9688de7f31c1923bf7.tar.gz | |
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>
| -rw-r--r-- | top/maint.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/maint.mk b/top/maint.mk index c1b786f89f..c9f8cc8531 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 |