diff options
Diffstat (limited to 'build2/b-options')
-rw-r--r-- | build2/b-options | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/build2/b-options b/build2/b-options index e2bd37f..602ea64 100644 --- a/build2/b-options +++ b/build2/b-options @@ -407,6 +407,18 @@ namespace build2 bool verbose_specified () const; + const path& + config_guess () const; + + bool + config_guess_specified () const; + + const path& + config_sub () const; + + bool + config_sub_specified () const; + const string& pager () const; @@ -448,6 +460,10 @@ namespace build2 bool q_; uint16_t verbose_; bool verbose_specified_; + path config_guess_; + bool config_guess_specified_; + path config_sub_; + bool config_sub_specified_; string pager_; bool pager_specified_; strings pager_option_; |