]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: Implement option --no-libtool.
authorBruno Haible <bruno@clisp.org>
Fri, 5 Aug 2022 22:14:02 +0000 (00:14 +0200)
committerBruno Haible <bruno@clisp.org>
Fri, 5 Aug 2022 23:50:32 +0000 (01:50 +0200)
* gnulib-tool.py (main): Accept option --no-libtool.

ChangeLog
gnulib-tool.py
gnulib-tool.py.TODO

index 4301d9c847961eabe9f07060133b760fa9c4c257..652600a45a26f305949752c04bbb3002cff7a6ac 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
index 9c63f6147f36f74dc576f92e87af802b17b0f6c2..f11c7bd5cb0e246d2a454aa50b581b1c1874dc28 100755 (executable)
@@ -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',
index de3a90dc371aea20693ba11a02df570079d9d2f7..6787e88df25b66745030c2a85aed2ac348e392b7 100644 (file)
@@ -29,7 +29,6 @@ Implement the options:
   --gnu-make
   --tests-makefile-name
   --automake-subdir
-  --no-libtool
   --macro-prefix
   --po-domain
   --witness-c-macro