]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Allow module arguments to occur at any position.
authorBruno Haible <bruno@clisp.org>
Sun, 31 Jul 2022 16:56:05 +0000 (18:56 +0200)
committerBruno Haible <bruno@clisp.org>
Sun, 31 Jul 2022 21:52:45 +0000 (23:52 +0200)
commit7d155923a8772e83395e5c5b439d92ce352b4bf2
treeb25773bffdf7acd29990762a5305d3e93a09e094
parent1639b8598d86b3d8c7fc3c7a0afaed93c67cbb93
gnulib-tool.py: Allow module arguments to occur at any position.

* gnulib-tool.py (main): Collect the non-option arguments in a single
list, regardless of their position. Use parse_known_args instead of
parse_args, and give an error message about unknown options ourselves.
* gnulib-tool: Fix typo in error message.
ChangeLog
gnulib-tool
gnulib-tool.py