diff options
| author | Tausif Rahman <tausif.rahman@mongodb.com> | 2022-08-22 22:13:43 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-08-22 23:21:59 +0000 |
| commit | bfdd46ebfa6b2b27441cb11e9fcbe3cbd6ffbad2 (patch) | |
| tree | 05a1e5bc6b49fb28a61aae7d44134d7f709b0503 /SConstruct | |
| parent | cfbd8f84498a748e81a904b44f5c16328b957e0c (diff) | |
| download | mongo-bfdd46ebfa6b2b27441cb11e9fcbe3cbd6ffbad2.tar.gz | |
SERVER-67922 Accommodate build profiles for external builders
Diffstat (limited to 'SConstruct')
| -rwxr-xr-x | SConstruct | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/SConstruct b/SConstruct index 4cdbc44677e..04211f9eaa8 100755 --- a/SConstruct +++ b/SConstruct @@ -133,10 +133,12 @@ add_option( choices=list(BUILD_PROFILES.keys()), default='default', type='choice', - help='''Short hand for common build options. These profiles are well supported by SDP and are - kept up to date. Unless you need something specific, it is recommended that you only build with - these. san is the recommended profile since it exposes bugs before they are found in patch - builds. Check out site_scons/mongo/build_profiles.py to see each profile.''', + help='''Short hand for common build configurations. These profiles are well supported by the build + and are kept up to date. The 'default' profile should be used unless you have the required + prerequisites in place to use the other profiles, i.e. having the mongodbtoolchain installed + and being connected to an icecream cluster. For mongodb developers, it is recommended to use + the 'san' (sanitizer) profile to identify bugs as soon as possible. Check out + site_scons/mongo/build_profiles.py to see each profile.''', ) build_profile = BUILD_PROFILES[get_option('build-profile')] |