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

---
 SConstruct | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.