diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-19 23:28:03 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-08-21 21:16:24 +0300 |
commit | ed6432add13b0ee9c35a9bbd261e068969f0462d (patch) | |
tree | e73ec22acf06cf2feffc31b2b8bd3ef2a86ead95 /build2/b-options.hxx | |
parent | 91734f1772aeca9795040d2db03b4f29051fa922 (diff) |
Make testscripts to ignore user's default options files
Diffstat (limited to 'build2/b-options.hxx')
-rw-r--r-- | build2/b-options.hxx | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build2/b-options.hxx b/build2/b-options.hxx index 297e6a4..8fea395 100644 --- a/build2/b-options.hxx +++ b/build2/b-options.hxx @@ -538,6 +538,12 @@ namespace build2 bool pager_option_specified () const; + const dir_path& + default_options () const; + + bool + default_options_specified () const; + const bool& no_default_options () const; @@ -602,6 +608,8 @@ namespace build2 bool pager_specified_; strings pager_option_; bool pager_option_specified_; + dir_path default_options_; + bool default_options_specified_; bool no_default_options_; bool help_; bool version_; |