Merge "[config-ref] skip options marked as disable"

This commit is contained in:
Jenkins 2016-07-26 13:13:21 +00:00 committed by Gerrit Code Review
commit dbd8a0afa0
1 changed files with 5 additions and 0 deletions

View File

@ -438,6 +438,11 @@ def write_files(package_name, options, target, output_format):
'items': [], 'items': [],
} }
# Skip the options that is explicitly marked as disabled,
# which is used for common configuration options.
if cat == 'disable':
continue
if cat in category_names: if cat in category_names:
env['nice_cat'] = category_names[cat] env['nice_cat'] = category_names[cat]
else: else: