* gnulib-tool.py (main): Accept option --no-libtool.
2022-08-05 Bruno Haible <bruno@clisp.org>
+ gnulib-tool.py: Implement option --no-libtool.
+ * gnulib-tool.py (main): Accept option --no-libtool.
+
gnulib-tool.py: Remove redundant type checks.
* pygnulib/GLConfig.py (GLConfig.__init__): Remove redundant type
checks, left over from 2022-08-04.
default=None,
nargs=1)
# libtool
- parser.add_argument("--libtool",
- dest=libtool,
- default=False,
+ parser.add_argument('--libtool',
+ dest='libtool',
+ default=None,
action="store_true")
+ parser.add_argument('--no-libtool',
+ dest='libtool',
+ default=None,
+ action="store_false")
# libname
parser.add_argument('--lib',
dest='libname',
--gnu-make
--tests-makefile-name
--automake-subdir
- --no-libtool
--macro-prefix
--po-domain
--witness-c-macro