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/GLEmiter.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/GLEmiter.py')
-rw-r--r-- | pygnulib/GLEmiter.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pygnulib/GLEmiter.py b/pygnulib/GLEmiter.py index 223e1ee553..4e4ce4a053 100644 --- a/pygnulib/GLEmiter.py +++ b/pygnulib/GLEmiter.py @@ -636,7 +636,6 @@ AC_DEFUN([%V1%_LIBSOURCES], [ % type(for_test).__name__) emit = '' sourcebase = self.config['sourcebase'] - modcache = self.config['modcache'] libname = self.config['libname'] pobase = self.config['pobase'] auxdir = self.config['auxdir'] @@ -908,7 +907,6 @@ AC_DEFUN([%V1%_LIBSOURCES], [ emit = '' auxdir = self.config['auxdir'] sourcebase = self.config['sourcebase'] - modcache = self.config['modcache'] libname = self.config['libname'] m4base = self.config['m4base'] pobase = self.config['pobase'] |