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-22 22:49:50 +0000 |
| commit | cfbd8f84498a748e81a904b44f5c16328b957e0c (patch) | |
| tree | fc651153a4315dabd2fec3529f283ec68dc291b8 /SConstruct | |
| parent | 2450ef1e71422b3a1a722d5550ba8a04213426a5 (diff) | |
| download | mongo-cfbd8f84498a748e81a904b44f5c16328b957e0c.tar.gz | |
SERVER-68586 Use opt setting from Build Profiles
Diffstat (limited to 'SConstruct')
| -rwxr-xr-x | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index 94db408dc1a..4cdbc44677e 100755 --- a/SConstruct +++ b/SConstruct @@ -340,7 +340,7 @@ add_option( 'opt', choices=['on', 'debug', 'size', 'off', 'auto'], const='on', - default='auto', + default=build_profile.opt, help='Enable compile-time optimization', nargs='?', type='choice', |