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 20:40:26 +0000 |
commit | 117f34a9133927b903f50e04ca3754e6db374f4a (patch) | |
tree | 77475d077de0253153c947b7121987ae1a46e21f | |
parent | 549062a96460b64f4fc1400a43f79e6f572d7892 (diff) | |
download | mongo-117f34a9133927b903f50e04ca3754e6db374f4a.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 6177d964841..d9cf926dc66 100755 --- a/SConstruct +++ b/SConstruct @@ -284,8 +284,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', @@ -1170,6 +1171,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: |