aboutsummaryrefslogtreecommitdiff
path: root/build2/b-options.hxx
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-08-19 23:28:03 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-08-21 21:16:24 +0300
commited6432add13b0ee9c35a9bbd261e068969f0462d (patch)
treee73ec22acf06cf2feffc31b2b8bd3ef2a86ead95 /build2/b-options.hxx
parent91734f1772aeca9795040d2db03b4f29051fa922 (diff)
Make testscripts to ignore user's default options files
Diffstat (limited to 'build2/b-options.hxx')
-rw-r--r--build2/b-options.hxx8
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_;