diff options
| author | Trevor Guidry <trevor.guidry@mongodb.com> | 2022-11-04 18:41:59 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-11-04 20:40:36 +0000 |
| commit | b1638c4a89d41295977a44feff5433e842bf02e2 (patch) | |
| tree | 98d341ec9473d583c00629ef27d0fbc030506f6d /SConstruct | |
| parent | 8ad6fd5cf5e1626b5cef34f8b6bd2a66b9c98944 (diff) | |
| download | mongo-b1638c4a89d41295977a44feff5433e842bf02e2.tar.gz | |
SERVER-70767 improve warning message from tool options failing to load
Diffstat (limited to 'SConstruct')
| -rw-r--r-- | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index e8204878688..23392f3c577 100644 --- a/SConstruct +++ b/SConstruct @@ -1419,7 +1419,7 @@ for tool in ['build_metrics', 'split_dwarf']: try: Tool(tool).options(env_vars) except ImportError as exc: - print(f"Failed import while loading options for tool: {tool}\n{exc}") + print(f"WARNING: The {tool} tool might not work as intended due to a failed import:\n{exc}") pass # -- Validate user provided options -- |