From 2b177045c26f8cdd0639185d79b494b3b2f0e826 Mon Sep 17 00:00:00 2001
From: Daniel Moody <daniel.moody@mongodb.com>
Date: Mon, 5 Apr 2021 20:11:50 +0000
Subject: SERVER-53952 fix issue when checking ninja flag for ninja DESTDIR

(cherry picked from commit db03ce4c42524ea65537d03f764100722f2f3e9e)
---
 SConstruct | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.1