diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2020-12-08 11:46:40 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2020-12-08 14:26:22 +0300 |
| commit | 426035e6fb01f7dd3ea533e32f0efb0f6c1e0db1 (patch) | |
| tree | 3fd6e4a8115f2f89e2f89ec74cc9cf1c2e757d31 /build2/b-options.hxx | |
| parent | a56c7a5d4e707e51fea407d44bd751426bfdc8f5 (diff) | |
Add --options-file option
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 d55dd36..fd93aba 100644 --- a/build2/b-options.hxx +++ b/build2/b-options.hxx @@ -573,6 +573,12 @@ namespace build2 bool pager_option_specified () const; + const string& + options_file () const; + + bool + options_file_specified () const; + const dir_path& default_options () const; @@ -647,6 +653,8 @@ namespace build2 bool pager_specified_; strings pager_option_; bool pager_option_specified_; + string options_file_; + bool options_file_specified_; dir_path default_options_; bool default_options_specified_; bool no_default_options_; |