diff options
author | Richard Braun <rbraun@sceen.net> | 2017-09-27 20:16:21 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-09-27 20:16:21 +0200 |
commit | f0e14d97a5647c53c42cc04579e66934fde3c775 (patch) | |
tree | 8d8de252e1a43276118161d217e57ccd52cd17f0 | |
parent | 2c6a697b6403fb439d2a2b58665f2675a12672d9 (diff) |
tools/build_configs.py: fix filters about the number of CPUs
-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'], |