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 /gnulib-tool.py | |
parent | fcf959cfe1f3ee1c84bf47af33023c440894b734 (diff) | |
download | gnulib-13af1a0d8a0bb1028bd4a1276c8da2d68db78367.tar.gz |
gnulib-tool.py: Implement option --no-libtool.
* gnulib-tool.py (main): Accept option --no-libtool.
Diffstat (limited to 'gnulib-tool.py')
-rwxr-xr-x | gnulib-tool.py | 10 |
1 files changed, 7 insertions, 3 deletions
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', |