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 | 2c6a697b6403fb439d2a2b58665f2675a12672d9 (patch) | |
| tree | 40ad2c1152dd7786c36e975afebc186041e777e2 | |
| parent | 70500f643775a1197d5e79923e0ea5e86adf2bac (diff) | |
tools/build_configs.py: update the small and large options sets
| -rwxr-xr-x | tools/build_configs.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/build_configs.py b/tools/build_configs.py index dc64e5ef..ea1d4647 100755 --- a/tools/build_configs.py +++ b/tools/build_configs.py @@ -73,17 +73,17 @@ all_cc_options_dict = { # option when building a configuration. small_options_dict = { - 'CONFIG_CC_EXE' : ['gcc', 'clang'], 'CONFIG_CC_OPTIONS' : gen_cc_options_list(all_cc_options_dict), + 'CONFIG_MULTIPROCESSOR' : ['y', 'n'], + 'CONFIG_MAX_CPUS' : ['1', '128'], 'CONFIG_ASSERT' : ['y', 'n'], } large_options_dict = dict(small_options_dict) large_options_dict.update({ + 'CONFIG_CC_EXE' : ['gcc', 'clang'], 'CONFIG_64BITS' : ['y', 'n'], 'CONFIG_X86_PAE' : ['y', 'n'], - 'CONFIG_MULTIPROCESSOR' : ['y', 'n'], - 'CONFIG_MAX_CPUS' : ['1', '128'], 'CONFIG_MUTEX_ADAPTIVE' : ['y', 'n'], 'CONFIG_MUTEX_PI' : ['y', 'n'], 'CONFIG_MUTEX_PLAIN' : ['y', 'n'], |