diff options
| author | Alexander Neben <alexander.neben@mongodb.com> | 2022-10-03 19:33:30 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-10-03 20:30:25 +0000 |
| commit | bc953ea628f28496940de86b1f4bc54c27d8843e (patch) | |
| tree | eaab107b4f3c99f35089767acb44f5f6c39f54aa /site_scons | |
| parent | 03fa8f1500fb3ea72a66f2bed4333210b8947fac (diff) | |
| download | mongo-bc953ea628f28496940de86b1f4bc54c27d8843e.tar.gz | |
SERVER-69281 Force minimum ninja version
(cherry picked from commit 261ca3bae36d3ddfe182c938524f101dbf2b4138)
Diffstat (limited to 'site_scons')
| -rw-r--r-- | site_scons/site_tools/ninja.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site_scons/site_tools/ninja.py b/site_scons/site_tools/ninja.py index 261f21cba2a..826733023d5 100644 --- a/site_scons/site_tools/ninja.py +++ b/site_scons/site_tools/ninja.py @@ -662,6 +662,9 @@ class NinjaState: ninja.comment("Generated by scons. DO NOT EDIT.") + # This version is needed because it is easy to get from pip and it support compile_commands.json + ninja.variable("ninja_required_version", "1.10") + ninja.variable("builddir", get_path(self.env['NINJA_BUILDDIR'])) for pool_name, size in self.pools.items(): |