diff options
author | Richard Samuels <richard.l.samuels@gmail.com> | 2022-04-08 13:50:25 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-04-08 14:27:40 +0000 |
commit | 0d9705653d904bed75b06f77eba2a5e9af2b3a7d (patch) | |
tree | 4657e027db6c13012bb71f7ceb9c689efd677682 /site_scons/site_tools/ninja.py | |
parent | d96b46e0430d0fe4ce82264e2924df9ed505a5c6 (diff) | |
download | mongo-0d9705653d904bed75b06f77eba2a5e9af2b3a7d.tar.gz |
SERVER-62992 Remove need for resmoke.ini
Diffstat (limited to 'site_scons/site_tools/ninja.py')
-rw-r--r-- | site_scons/site_tools/ninja.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site_scons/site_tools/ninja.py b/site_scons/site_tools/ninja.py index 5826be827f4..c755e12b469 100644 --- a/site_scons/site_tools/ninja.py +++ b/site_scons/site_tools/ninja.py @@ -660,6 +660,7 @@ class NinjaState: kwargs['pool'] = 'local_pool' ninja.rule(rule, **kwargs) + # TODO SERVER-64664 generated_source_files = sorted({ output # First find builds which have header files in their outputs. |