gnulib-tool: Make --version output independent of git's configuration.
commit6231494948ccc053b4b71be412e193ff33cfb16c
authorBruno Haible <bruno@clisp.org>
Wed, 28 Feb 2024 10:52:33 +0000 (28 11:52 +0100)
committerBruno Haible <bruno@clisp.org>
Wed, 28 Feb 2024 10:52:33 +0000 (28 11:52 +0100)
tree7233948e062dad14ddf247582318b55a98eb99f6
parent0127a5e68be69a8c57bb43171bae3b1bb7ae4a6e
gnulib-tool: Make --version output independent of git's configuration.

Reported by Collin Funk <collin.funk1@gmail.com> in
<https://lists.gnu.org/archive/html/bug-gnulib/2024-02/msg00268.html>.

* pygnulib/GLInfo.py (GLInfo.date): Pass --format and --date options, to
override the user's git configuration.
* gnulib-tool (func_version): Likewise. Also pass options '-n 1', to
speed up the operation.
ChangeLog
gnulib-tool
pygnulib/GLInfo.py