diff options
| author | Remy Noel <mocramis@gmail.com> | 2018-04-21 00:03:24 +0200 |
|---|---|---|
| committer | Remy Noel <mocramis@gmail.com> | 2018-04-21 00:03:24 +0200 |
| commit | 6b98275f3864ee6a413e99b9bddc7a3c029af2d2 (patch) | |
| tree | e30c300f8e12e2468f5ca1d778cbc3ce9c11a975 /tools | |
| parent | 6b3df26a8822b08f87a2aab5085d4e51c5168583 (diff) | |
| parent | 89ebd57e0bb3a63f2f794ce41dd4c831b4aeb35c (diff) | |
Merge branch 'master' into perfmon
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_configs.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build_configs.py b/tools/build_configs.py index dab95b7..ba872d4 100755 --- a/tools/build_configs.py +++ b/tools/build_configs.py @@ -88,6 +88,8 @@ all_cc_options_dict = { # option when building a configuration. small_options_dict = { + 'CONFIG_CC_EXE' : ['gcc', 'clang'], + 'CONFIG_64BITS' : ['y', 'n'], 'CONFIG_CC_OPTIONS' : gen_cc_options_list(all_cc_options_dict), 'CONFIG_SMP' : ['y', 'n'], 'CONFIG_MAX_CPUS' : ['1', '128'], @@ -97,8 +99,6 @@ small_options_dict = { 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_MUTEX_ADAPTIVE' : ['y', 'n'], 'CONFIG_MUTEX_PI' : ['y', 'n'], |