diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-06 21:54:04 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-06 21:54:04 +0200 |
commit | 860df12df83dd27ae2b83e0ed6b485c4ffbb640e (patch) | |
tree | db6699d52d134119c7ce6e4c61ee1133de1b1484 /gnulib-tool.py | |
parent | 6ef9c33342e6cdb898e157997ea33ed2ab8e00cb (diff) | |
download | gnulib-860df12df83dd27ae2b83e0ed6b485c4ffbb640e.tar.gz |
gnulib-tool.py: Finish implementing option --witness-c-macro.
* gnulib-tool.py (main): Accept option --witness-c-macro.
* pygnulib/GLConfig.py (GLConfig.__init__): Remove wrong type check of
witness_c_macro argument.
Diffstat (limited to 'gnulib-tool.py')
-rwxr-xr-x | gnulib-tool.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gnulib-tool.py b/gnulib-tool.py index 78bb326a69..0bf72bf3a0 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -358,6 +358,11 @@ def main(): dest='podomain', default=None, nargs=1) + # witness-c-macro + parser.add_argument('--witness-c-macro', + dest='witness_c_macro', + default=None, + nargs=1) # single-configure parser.add_argument('--single-configure', dest='single_configure', @@ -547,7 +552,8 @@ def main(): or cmdargs.excl_unportable_tests != None or cmdargs.avoids != None or cmdargs.lgpl != None or cmdargs.makefile_name != None - or cmdargs.macro_prefix != None or cmdargs.podomain != None))): + or cmdargs.macro_prefix != None or cmdargs.podomain != None + or cmdargs.witness_c_macro != None))): message = '%s: *** ' % constants.APP['name'] message += 'invalid options for --%s mode\n' % mode message += 'Try \'gnulib-tool --help\' for more information.\n' @@ -640,6 +646,9 @@ def main(): podomain = cmdargs.podomain if podomain != None: podomain = podomain[0] + witness_c_macro = cmdargs.witness_c_macro + if witness_c_macro != None: + witness_c_macro = witness_c_macro[0] avoids = cmdargs.avoids if avoids != None: avoids = [ module @@ -650,7 +659,6 @@ def main(): single_configure = cmdargs.single_configure docbase = None conddeps = None - witness_c_macro = None vc_files = None # Create pygnulib configuration. |