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-06-28 20:12:16 +0000 |
| commit | 2b177045c26f8cdd0639185d79b494b3b2f0e826 (patch) | |
| tree | 272533e0df0efd16baa31a379e66797213eacbc1 | |
| parent | f8a4c2161a2bcfcca52bf72e64e430723710f4f7 (diff) | |
| download | mongo-2b177045c26f8cdd0639185d79b494b3b2f0e826.tar.gz | |
SERVER-53952 fix issue when checking ninja flag for ninja DESTDIR
(cherry picked from commit db03ce4c42524ea65537d03f764100722f2f3e9e)
| -rw-r--r-- | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index 83e50dbb177..ca62d1925cd 100644 --- a/SConstruct +++ b/SConstruct @@ -757,7 +757,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. |