diff options
author | René Meusel <[email protected]> | 2019-09-09 12:50:01 +0200 |
---|---|---|
committer | René Meusel <[email protected]> | 2019-09-09 12:50:01 +0200 |
commit | 3f748f3cee478cd3d4c0ce8a0c1e2ee2ecd1129f (patch) | |
tree | 86b1b5881e36ce3db53b67ef9418401fbe2425cc | |
parent | bdff3d5977fbb084ee2d369daf730f1af4a4017e (diff) |
rename --build-extra-targets to --build-targets
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index a11bc575b..523a6ec39 100755 --- a/configure.py +++ b/configure.py @@ -490,7 +490,7 @@ def process_command_line(args): # pylint: disable=too-many-locals,too-many-state build_group.add_option('--build-bogo-shim', action='store_true', default=False, help=optparse.SUPPRESS_HELP) - build_group.add_option('--build-extra-targets', default='cli,tests', dest="build_targets", + build_group.add_option('--build-targets', default='cli,tests', dest="build_targets", help="build additional targets and tools (cli, tests, bogo_shim, docs)") build_group.add_option('--with-pkg-config', action='store_true', default=None, |