diff options
author | René Meusel <[email protected]> | 2019-09-09 17:50:49 +0200 |
---|---|---|
committer | René Meusel <[email protected]> | 2019-09-09 17:50:49 +0200 |
commit | 412ccf1616139a62adcbf9936e6c98fa7547a82e (patch) | |
tree | 6b16e43a844dc746aeeb80ff14af0b4e0810426d | |
parent | 3218bfb2ef4e782950741596073d5d49c5737a99 (diff) |
remove --build-targets= 'fuzzers' and 'docs' for now
-rwxr-xr-x | configure.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 2af913203..48ee86c85 100755 --- a/configure.py +++ b/configure.py @@ -276,7 +276,7 @@ class BuildPaths(object): # pylint: disable=too-many-instance-attributes else: raise InternalError("Unknown src info type '%s'" % (typ)) -ACCEPTABLE_BUILD_TARGETS = ["static", "shared", "cli", "tests", "fuzzers", "bogo_shim", "docs"] +ACCEPTABLE_BUILD_TARGETS = ["static", "shared", "cli", "tests", "bogo_shim"] def read_build_targets(options): if options.build_targets is None: # not set => no list @@ -1976,12 +1976,11 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, yield 'cli' if 'tests' in targets: yield 'tests' - if 'docs' in targets: - yield 'docs' if options.build_fuzzers: yield 'fuzzers' if options.build_bogo_shim or 'bogo_shim' in targets: yield 'bogo_shim' + yield 'docs' variables = { 'version_major': Version.major(), |