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.ixx | |
parent | a56c7a5d4e707e51fea407d44bd751426bfdc8f5 (diff) |
Add --options-file option
Diffstat (limited to 'build2/b-options.ixx')
-rw-r--r-- | build2/b-options.ixx | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/build2/b-options.ixx b/build2/b-options.ixx index 1d41af2..3d5781c 100644 --- a/build2/b-options.ixx +++ b/build2/b-options.ixx @@ -500,6 +500,18 @@ namespace build2 return this->pager_option_specified_; } + inline const string& options:: + options_file () const + { + return this->options_file_; + } + + inline bool options:: + options_file_specified () const + { + return this->options_file_specified_; + } + inline const dir_path& options:: default_options () const { |