diff options
| -rwxr-xr-x | tools/build_configs.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/build_configs.py b/tools/build_configs.py index ea1d4647..64a7088e 100755 --- a/tools/build_configs.py +++ b/tools/build_configs.py @@ -111,8 +111,12 @@ all_filters_list = [ 'CONFIG_CC_OPTIONS' : [True, re.compile('-flto')], }, { + 'CONFIG_MULTIPROCESSOR' : [True, 'y'], + 'CONFIG_MAX_CPUS' : [True, '1'], + }, + { 'CONFIG_MULTIPROCESSOR' : [True, 'n'], - 'CONFIG_MAX_CPUS' : [False, re.compile('^0*1$')], + 'CONFIG_MAX_CPUS' : [False, '1'], }, { 'CONFIG_64BITS' : [True, 'y'], |