diff options
| author | Andrew Morrow <acm@mongodb.com> | 2020-04-23 12:22:26 -0400 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-04-27 17:19:39 +0000 |
| commit | 4ccd6ac3af74339c9fc1576875ce2377edbee1f2 (patch) | |
| tree | 00aa17c12b9e3f12949778b168a0fd76ada09045 /SConstruct | |
| parent | 25f611b9097228c7b057c11bd1e2b9ee3d492e66 (diff) | |
| download | mongo-4ccd6ac3af74339c9fc1576875ce2377edbee1f2.tar.gz | |
SERVER-47110 Don't emit the PDB file twice when separate debug is enabled
Diffstat (limited to 'SConstruct')
| -rw-r--r-- | SConstruct | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/SConstruct b/SConstruct index a4e5ec0c09a..ecb48050031 100644 --- a/SConstruct +++ b/SConstruct @@ -3953,6 +3953,13 @@ if get_option('ninja') != 'disabled': if get_option('install-mode') == 'hygienic': if get_option('separate-debug') == "on" or env.TargetOSIs("windows"): + + # The current ninja builder can't handle --separate-debug on non-Windows platforms + # like linux or macOS, because they depend on adding extra actions to the link step, + # which cannot be translated into the ninja bulider. + if not env.TargetOSIs("windows") and get_option('ninja') != 'disabled': + env.FatalError("Cannot use --separate-debug with Ninja on non-Windows platforms.") + separate_debug = Tool('separate_debug') if not separate_debug.exists(env): env.FatalError('Cannot honor --separate-debug because the separate_debug.py Tool reported as nonexistent') |