aboutsummaryrefslogtreecommitdiff
path: root/build2/config/utility
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-04-11 17:37:29 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-04-11 17:37:29 +0200
commit8ee02c5d40006d52d0048a748a695d589b3627cb (patch)
tree29824aabedc6387606e78318656d235318a62d9a /build2/config/utility
parent6d61a95027c0e199495f083b393d740933f41e82 (diff)
Simplify unconfigured module interface
Diffstat (limited to 'build2/config/utility')
-rw-r--r--build2/config/utility8
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);