diff options
author | Daniel Moody <daniel.moody@mongodb.com> | 2021-08-23 11:30:01 -0500 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-08-23 21:46:42 +0000 |
commit | a60cdd191aae0801a3e2f70eefaa21dcb9094652 (patch) | |
tree | 91a40638fb4b955bbbfd0570adac58bcee9fd2ee /SConstruct | |
parent | 95668c6ce7c0718bd2a2e44e0bbc557606d5172f (diff) | |
download | mongo-a60cdd191aae0801a3e2f70eefaa21dcb9094652.tar.gz |
SERVER-59143 prevent ninja tool being used with ninja module.
Diffstat (limited to 'SConstruct')
-rw-r--r-- | SConstruct | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/SConstruct b/SConstruct index bf51735455f..b08b3fcd37b 100644 --- a/SConstruct +++ b/SConstruct @@ -2574,6 +2574,14 @@ if get_option("system-boost-lib-search-suffixes") is not None: # discover modules, and load the (python) module for each module's build.py mongo_modules = moduleconfig.discover_modules('src/mongo/db/modules', get_option('modules')) +if get_option('ninja') != 'disabled': + for module in mongo_modules: + if hasattr(module, 'NinjaFile'): + env.FatalError(textwrap.dedent("""\ + ERROR: Ninja tool option '--ninja' should not be used with the ninja module. + Remove the ninja module directory or use '--modules= ' to select no modules. + If using enterprise module, explicitly set '--modules=<name-of-enterprise-module>' to exclude the ninja module.""")) + # --- check system --- ssl_provider = None free_monitoring = get_option("enable-free-mon") |