diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-27 14:20:10 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-27 14:20:10 +0200 |
commit | b71fa164192f1af8b702e1578cf202b510a9b281 (patch) | |
tree | 99e3cc0965b2fce6fe1be4151eef1e1bb44af59f /build2/b-options.hxx | |
parent | b48666e580abf54d426d13840f49242aa2569bb2 (diff) |
Add --dump <phase> option, omit state dumping from verbosity level 6
Diffstat (limited to 'build2/b-options.hxx')
-rw-r--r-- | build2/b-options.hxx | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build2/b-options.hxx b/build2/b-options.hxx index f3ba750..0aad125 100644 --- a/build2/b-options.hxx +++ b/build2/b-options.hxx @@ -363,6 +363,8 @@ namespace build2 } } +#include <set> + #include <build2/types.hxx> namespace build2 @@ -437,6 +439,12 @@ namespace build2 const bool& stat () const; + const std::set<string>& + dump () const; + + bool + dump_specified () const; + const size_t& jobs () const; @@ -539,6 +547,8 @@ namespace build2 uint16_t verbose_; bool verbose_specified_; bool stat_; + std::set<string> dump_; + bool dump_specified_; size_t jobs_; bool jobs_specified_; size_t max_jobs_; |