diff options
author | Daniel Moody <daniel.moody@mongodb.com> | 2020-07-28 17:31:10 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-08-06 04:15:02 +0000 |
commit | 5c2eb5800d7a83b7f2e028409e6b1484305d1805 (patch) | |
tree | fb131391bb23dfe0ab5c9c8a6cd356be47523660 /SConstruct | |
parent | e952d0b90f16b749db73edf1f2e695947623f798 (diff) | |
download | mongo-5c2eb5800d7a83b7f2e028409e6b1484305d1805.tar.gz |
SERVER-49493 Add use of depfile to ninja tool
(cherry picked from commit 3202a05352a9bff4cb00145aecb03aabac7af69a)
Diffstat (limited to 'SConstruct')
-rw-r--r-- | SConstruct | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/SConstruct b/SConstruct index 91f59ff3d6e..da262bd2575 100644 --- a/SConstruct +++ b/SConstruct @@ -3907,6 +3907,7 @@ if get_option('ninja') != 'disabled': ninja_builder.generate(env) else: ninja_builder = Tool("ninja_next") + env["NINJA_BUILDDIR"] = env.Dir("$BUILD_DIR/ninja") ninja_builder.generate(env) ninjaConf = Configure(env, help=False, custom_tests = { |