diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_configs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build_configs.py b/tools/build_configs.py index 129ed92..04f278c 100755 --- a/tools/build_configs.py +++ b/tools/build_configs.py @@ -37,7 +37,6 @@ def gen_configs_values_str(options_dict): # to all generated strings. def gen_cc_options_list(options_dict): return map(lambda x: '%s -Werror' % x, gen_configs_values_str(options_dict)) - def gen_exclusive_boolean_filter(args): enabled_option, options_list = args filter = dict() @@ -89,6 +88,7 @@ small_options_dict = { 'CONFIG_SMP' : ['y', 'n'], 'CONFIG_MAX_CPUS' : ['1', '128'], 'CONFIG_ASSERT' : ['y', 'n'], + 'CONFIG_PERFMON' : ['y', 'n'], } large_options_dict = dict(small_options_dict) |