diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-04 18:35:49 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-04 18:35:49 +0200 |
commit | af4eb877e856092bb2963661675f301806cf67c7 (patch) | |
tree | 0eed21b6d9338e7cc43bd3c5210cb3d6dceaf5b1 /pygnulib/GLInfo.py | |
parent | 2a33db96531933f00405522d94ebc658236f0b84 (diff) | |
download | gnulib-af4eb877e856092bb2963661675f301806cf67c7.tar.gz |
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.
Diffstat (limited to 'pygnulib/GLInfo.py')
-rw-r--r-- | pygnulib/GLInfo.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pygnulib/GLInfo.py b/pygnulib/GLInfo.py index 720e357c90..34b38db7eb 100644 --- a/pygnulib/GLInfo.py +++ b/pygnulib/GLInfo.py @@ -184,8 +184,6 @@ General options: directory. --local-dir=DIRECTORY Specify a local override directory where to look up files before looking in gnulib's directory. - --cache-modules Enable module caching optimization. - --no-cache-modules Disable module caching optimization. --verbose Increase verbosity. May be repeated. --quiet Decrease verbosity. May be repeated. |