diff options
author | Daniel Moody <daniel.moody@mongodb.com> | 2022-07-08 19:08:41 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-07-08 19:46:49 +0000 |
commit | 847e884a5360a295921edd841e1de261ffdfeea4 (patch) | |
tree | 0549c8649b81ee23c45df1a3fb6f1140b0e86101 /SConstruct | |
parent | ab6951d4304efb436b1cb5f887b9e98ee2fb35ab (diff) | |
download | mongo-847e884a5360a295921edd841e1de261ffdfeea4.tar.gz |
SERVER-67051 SERVER-67052 SERVER-67053 SERVER-67054 add per action metrics
Diffstat (limited to 'SConstruct')
-rwxr-xr-x | SConstruct | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/SConstruct b/SConstruct index 00c3614a2e5..7267eed814d 100755 --- a/SConstruct +++ b/SConstruct @@ -122,9 +122,9 @@ 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 recommeneded profile since it exposes bugs before they are found in patch + 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.''', ) |