diff options
| author | Tausif Rahman <tausif.rahman@mongodb.com> | 2022-08-22 22:11:38 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-08-24 22:18:33 +0000 |
| commit | 5ce288636e0108dac375f0ec58eb6524d9899376 (patch) | |
| tree | 6e50585d68cbf19d34786d089051f51dd5f84744 | |
| parent | 9c05fbc0ed4410d00d1ad32f74733660e4179c05 (diff) | |
| download | mongo-5ce288636e0108dac375f0ec58eb6524d9899376.tar.gz | |
SERVER-68586 Use opt setting from Build Profiles
(cherry picked from commit cfbd8f84498a748e81a904b44f5c16328b957e0c)
| -rwxr-xr-x | SConstruct | 5 | ||||
| -rw-r--r-- | site_scons/mongo/build_profiles.py | 2 | ||||
| -rw-r--r-- | site_scons/mongo/generators.py | 1 |
3 files changed, 6 insertions, 2 deletions
diff --git a/SConstruct b/SConstruct index 5e64f637e37..6478ce68460 100755 --- a/SConstruct +++ b/SConstruct @@ -294,8 +294,9 @@ add_option('spider-monkey-dbg', ) add_option('opt', - choices=['on', 'size', 'off'], + choices=['on', 'size', 'off', 'auto'], const='on', + default=build_profile.opt, help='Enable compile-time optimization', nargs='?', type='choice', @@ -1109,6 +1110,8 @@ dbg_opt_mapping = { ( "off", "off" ) : ( False, False ), ( "on", "size" ) : ( True, True ), ( "off", "size" ) : ( False, True ), + ( "on", "auto" ) : ( True, False ), + ( "off", "auto" ) : ( False, True ), } debugBuild, optBuild = dbg_opt_mapping[(get_option('dbg'), get_option('opt'))] optBuildForSize = True if optBuild and get_option('opt') == "size" else False diff --git a/site_scons/mongo/build_profiles.py b/site_scons/mongo/build_profiles.py index 122d859cd22..8ab85883067 100644 --- a/site_scons/mongo/build_profiles.py +++ b/site_scons/mongo/build_profiles.py @@ -29,7 +29,7 @@ BUILD_PROFILES = { sanitize=None, link_model="auto", dbg="off", - opt="off", + opt="auto", ICECC=None, CCACHE=None, NINJA_PREFIX="build", diff --git a/site_scons/mongo/generators.py b/site_scons/mongo/generators.py index e2b401a5eae..415486587f1 100644 --- a/site_scons/mongo/generators.py +++ b/site_scons/mongo/generators.py @@ -88,6 +88,7 @@ def empty_buildinfo_environment_data(): return {} +# TODO: SERVER-69064 Improve default_variant_dir_generator in Build System def default_variant_dir_generator(target, source, env, for_signature): if env.GetOption('cache') != None: |