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.hxx | 10 ++++++++++
 1 file changed, 10 insertions(+)

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

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_;
-- 
cgit v1.1