]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Implement options --cache-modules, --no-cache-modules.
authorBruno Haible <bruno@clisp.org>
Thu, 4 Aug 2022 16:35:49 +0000 (18:35 +0200)
committerBruno Haible <bruno@clisp.org>
Thu, 4 Aug 2022 16:35:49 +0000 (18:35 +0200)
commitaf4eb877e856092bb2963661675f301806cf67c7
tree0eed21b6d9338e7cc43bd3c5210cb3d6dceaf5b1
parent2a33db96531933f00405522d94ebc658236f0b84
gnulib-tool.py: Implement options --cache-modules, --no-cache-modules.

* gnulib-tool.py (main): Accept options --cache-modules,
--no-cache-modules.
* pygnulib/GLConfig.py: Remove modcache property and constructor
argument.
* pygnulib/GLInfo.py (GLInfo.usage): Don't document these no-op options.
ChangeLog
gnulib-tool.py
pygnulib/GLConfig.py
pygnulib/GLEmiter.py
pygnulib/GLInfo.py