summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2017-09-27 20:16:21 +0200
committerRichard Braun <rbraun@sceen.net>2017-09-27 20:16:21 +0200
commitf0e14d97a5647c53c42cc04579e66934fde3c775 (patch)
tree8d8de252e1a43276118161d217e57ccd52cd17f0
parent2c6a697b6403fb439d2a2b58665f2675a12672d9 (diff)
tools/build_configs.py: fix filters about the number of CPUs
-rwxr-xr-xtools/build_configs.py6
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'],