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.TODO | |
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.TODO')
-rw-r--r-- | gnulib-tool.py.TODO | 1 |
1 files changed, 0 insertions, 1 deletions
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 |