diff options
author | Bruno Haible <bruno@clisp.org> | 2022-08-06 00:14:02 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-08-06 01:50:32 +0200 |
commit | 13af1a0d8a0bb1028bd4a1276c8da2d68db78367 (patch) | |
tree | 3afbef40c80c75ad26bbdd29fe629e05455a81d8 | |
parent | fcf959cfe1f3ee1c84bf47af33023c440894b734 (diff) | |
download | gnulib-13af1a0d8a0bb1028bd4a1276c8da2d68db78367.tar.gz |
gnulib-tool.py: Implement option --no-libtool.
* gnulib-tool.py (main): Accept option --no-libtool.
-rw-r--r-- | ChangeLog | 3 | ||||
-rwxr-xr-x | gnulib-tool.py | 10 | ||||
-rw-r--r-- | gnulib-tool.py.TODO | 1 |
3 files changed, 10 insertions, 4 deletions
@@ -1,5 +1,8 @@ 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. diff --git a/gnulib-tool.py b/gnulib-tool.py index 9c63f6147f..f11c7bd5cb 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -319,10 +319,14 @@ def main(): 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', diff --git a/gnulib-tool.py.TODO b/gnulib-tool.py.TODO index de3a90dc37..6787e88df2 100644 --- a/gnulib-tool.py.TODO +++ b/gnulib-tool.py.TODO @@ -29,7 +29,6 @@ Implement the options: --gnu-make --tests-makefile-name --automake-subdir - --no-libtool --macro-prefix --po-domain --witness-c-macro |