diff options
Diffstat (limited to 'bbot/worker/worker.cxx')
-rw-r--r-- | bbot/worker/worker.cxx | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/bbot/worker/worker.cxx b/bbot/worker/worker.cxx index 8a5c8d7..025fa04 100644 --- a/bbot/worker/worker.cxx +++ b/bbot/worker/worker.cxx @@ -637,13 +637,23 @@ build (size_t argc, const char* argv[]) // change_wd (trace, &r.log, rwd); - // b create(<dir>) config.config.load=~host + // b create(<dir>) config.config.load=~build2 + // + // Note also that we suppress warnings about unused config.* values, + // such CLI configuration. + // + // What if a module wants to use CLI? The current thinking is that we + // will be "whitelisting" base (i.e., those that can plausibly be used + // by multiple modules) libraries and tools for use by build system + // modules. So if and when we whitelist CLI, we will add it here, next + // to cc. // r.status |= run_b ( trace, r.log, wre, "-V", "create(" + module_dir.representation () + ",cc)", - "config.config.load=~host"); + "config.config.load=~build2", + "config.config.persist+='config.*'@unused=drop"); if (!r.status) break; |