diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-04-11 17:37:29 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-04-11 17:37:29 +0200 |
commit | 8ee02c5d40006d52d0048a748a695d589b3627cb (patch) | |
tree | 29824aabedc6387606e78318656d235318a62d9a /build2/config/utility | |
parent | 6d61a95027c0e199495f083b393d740933f41e82 (diff) |
Simplify unconfigured module interface
Diffstat (limited to 'build2/config/utility')
-rw-r--r-- | build2/config/utility | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/build2/config/utility b/build2/config/utility index 8a93c09..beab758 100644 --- a/build2/config/utility +++ b/build2/config/utility @@ -86,11 +86,17 @@ namespace build2 bool specified (scope& root, const string& ns); - // + // Check if there is a false config.*.configured value. This mechanism can + // be used to "remember" that the module is left unconfigured in order to + // avoid re-running the tests, etc. // bool unconfigured (scope& root, const string& ns); + // Set the config.*.configured value. Note that you only need to set it to + // false. It will be automatically ignored if there are any other config.* + // values for this module. + // void unconfigured (scope& root, const string& ns, bool); |