diff options
| author | Mathew Robinson <mathew.robinson@mongodb.com> | 2019-12-03 16:23:53 +0000 |
|---|---|---|
| committer | evergreen <evergreen@mongodb.com> | 2019-12-03 16:23:53 +0000 |
| commit | a3dc86799f20c3e7842f10e76d87698f1f1626bc (patch) | |
| tree | d5c926addcf1f7e25ef010aafead3c11376be873 /site_scons | |
| parent | 474b930341f98ed8ab68bd82be69e94516689a44 (diff) | |
| download | mongo-a3dc86799f20c3e7842f10e76d87698f1f1626bc.tar.gz | |
SERVER-44907 NINJA_SUFFIX should prepend a dot if one is not supplied
Diffstat (limited to 'site_scons')
| -rw-r--r-- | site_scons/site_tools/ninja.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/site_scons/site_tools/ninja.py b/site_scons/site_tools/ninja.py index 54e60383e74..6c342b1aa00 100644 --- a/site_scons/site_tools/ninja.py +++ b/site_scons/site_tools/ninja.py @@ -738,7 +738,11 @@ def ninja_builder(env, target, source): ninja_syntax_mod_name = os.path.basename(ninja_syntax_file) ninja_syntax = importlib.import_module(ninja_syntax_mod_name.replace(".py", "")) - generated_build_ninja = target[0].get_abspath() + env.get("NINJA_SUFFIX", "") + suffix = env.get("NINJA_SUFFIX", "") + if suffix and not suffix[0] == ".": + suffix = "." + suffix + + generated_build_ninja = target[0].get_abspath() + suffix ninja_state = NinjaState(env, ninja_syntax.Writer) for src in source: |