diff options
| author | Daniel Moody <daniel.moody@mongodb.com> | 2021-04-05 20:11:50 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-04-05 21:19:14 +0000 |
| commit | db03ce4c42524ea65537d03f764100722f2f3e9e (patch) | |
| tree | 16029be4ce03640a7ea1abdccbac58adb3d6ffd8 /SConstruct | |
| parent | 81386a8f855b7db08cf9ff579335c133418bf36c (diff) | |
| download | mongo-db03ce4c42524ea65537d03f764100722f2f3e9e.tar.gz | |
SERVER-53952 fix issue when checking ninja flag for ninja DESTDIR
Diffstat (limited to 'SConstruct')
| -rw-r--r-- | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index ffe2e9ba349..414e9aecb08 100644 --- a/SConstruct +++ b/SConstruct @@ -813,7 +813,7 @@ env_vars.Add('CXXFLAGS', converter=variable_shlex_converter) default_destdir = '$BUILD_ROOT/install' -if get_option('ninja') and get_option('build-tools') == 'next': +if get_option('ninja') != 'disabled' and get_option('build-tools') == 'next': # Workaround for SERVER-53952 where issues wih different # ninja files building to the same install dir. Different # ninja files need to build to different install dirs. |