mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00
Code Issues Releases Activity

SERVER-53952 fix issue when checking ninja flag for ninja DESTDIR

Browse Source
This commit is contained in:
Daniel Moody 2021-04-05 20:11:50 +00:00 committed by Evergreen Agent
parent 81386a8f85
commit db03ce4c42
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
SConstruct
View File

@ -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.