From b71fa164192f1af8b702e1578cf202b510a9b281 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 27 Nov 2018 14:20:10 +0200
Subject: Add --dump <phase> option, omit state dumping from verbosity level 6

---
 build2/b-options.ixx | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'build2/b-options.ixx')

diff --git a/build2/b-options.ixx b/build2/b-options.ixx
index 0749e4d..2b6e8b0 100644
--- a/build2/b-options.ixx
+++ b/build2/b-options.ixx
@@ -279,6 +279,18 @@ namespace build2
     return this->stat_;
   }
 
+  inline const std::set<string>& options::
+  dump () const
+  {
+    return this->dump_;
+  }
+
+  inline bool options::
+  dump_specified () const
+  {
+    return this->dump_specified_;
+  }
+
   inline const size_t& options::
   jobs () const
   {
-- 
cgit v1.1