diff options
| author | Mathew Robinson <mathew.robinson@mongodb.com> | 2020-01-07 17:05:50 +0000 |
|---|---|---|
| committer | evergreen <evergreen@mongodb.com> | 2020-01-07 17:05:50 +0000 |
| commit | ae1bfe70260f0a2b90ba182bc62cd4889979527b (patch) | |
| tree | 9b6d43c5a985fe08d2f67f0e401458caa469736d /site_scons | |
| parent | d5da349ff1b480ef31e36c0f4216d46280acbc86 (diff) | |
| download | mongo-ae1bfe70260f0a2b90ba182bc62cd4889979527b.tar.gz | |
SERVER-45379 Add pools in self.pools during generation
Diffstat (limited to 'site_scons')
| -rw-r--r-- | site_scons/site_tools/ninja.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/site_scons/site_tools/ninja.py b/site_scons/site_tools/ninja.py index d3e59978775..2221ffca516 100644 --- a/site_scons/site_tools/ninja.py +++ b/site_scons/site_tools/ninja.py @@ -517,7 +517,8 @@ class NinjaState: ninja.comment("Generated by scons. DO NOT EDIT.") - ninja.pool("install_pool", self.env.GetOption("num_jobs") / 2) + for pool in self.pools: + ninja.pool(pool, self.pools[pool]) for var, val in self.variables.items(): ninja.variable(var, val) |