diff options
| author | Bruno Haible <bruno@clisp.org> | 2022-08-03 18:00:13 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2022-08-03 18:09:39 +0200 |
| commit | 1e57719d520683d08e8646fb2b778aa9d9afb294 (patch) | |
| tree | ec394d1378c94dc08cbad1a1f844bc19bbb71bb8 /gnulib-tool.py | |
| parent | f531502a86fc921fa02b24ba9d7170ff3b8f93b4 (diff) | |
| download | gnulib-1e57719d520683d08e8646fb2b778aa9d9afb294.tar.gz | |
gnulib-tool.py: Implement option --without-tests.
* gnulib-tool.py (main): Accept option --without-tests.
Diffstat (limited to 'gnulib-tool.py')
| -rwxr-xr-x | gnulib-tool.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnulib-tool.py b/gnulib-tool.py index cbef01b3b2..efe3b1e1d6 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -251,6 +251,10 @@ def main(): dest='inctests', default=None, action='store_true') + parser.add_argument('--without-tests', + dest='inctests', + default=None, + action='store_false') # obsolete parser.add_argument('--with-obsolete', dest='obsolete', |