diff options
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 { |