projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5191b35) | patch
maint.mk: get current gnulib revision correctly.
authorGary V. Vaughan <gary@gnu.org>
Sun, 27 Oct 2013 01:08:08 +0000 (14:08 +1300)
committerGary V. Vaughan <gary@gnu.org>
Sun, 27 Oct 2013 01:08:08 +0000 (14:08 +1300)
commit6b24f60dad0f97704ae07d9688de7f31c1923bf7
treefa730b487a3f978c89e8fbcc397d64f7ccd565b4tree | snapshot
parent5191b3546cfb6c163228c23f214e325ddf60d46fcommit | diff
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>
top/maint.mk diff | blob | history
gnulib debian + stable branches