aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRenĂ© Meusel <[email protected]>2019-09-09 12:50:01 +0200
committerRenĂ© Meusel <[email protected]>2019-09-09 12:50:01 +0200
commit3f748f3cee478cd3d4c0ce8a0c1e2ee2ecd1129f (patch)
tree86b1b5881e36ce3db53b67ef9418401fbe2425cc
parentbdff3d5977fbb084ee2d369daf730f1af4a4017e (diff)
rename --build-extra-targets to --build-targets
-rwxr-xr-xconfigure.py2
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,