diff options
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); |