Index: tools/gn/pool.h |
diff --git a/tools/gn/pool.h b/tools/gn/pool.h |
index 81a021db6593706c25862214e999b4853e479ca7..08da33cee444aaa96c4753f7caf394b837de23fe 100644 |
--- a/tools/gn/pool.h |
+++ b/tools/gn/pool.h |
@@ -29,6 +29,10 @@ class Pool : public Item { |
int64_t depth() const { return depth_; } |
void set_depth(int64_t depth) { depth_ = depth; } |
+ // Console pool option |
+ bool is_console() const { return console_; } |
+ void set_console(bool value) { console_ = value; } |
+ |
// The pool name in generated ninja files. |
std::string GetNinjaName(const Label& default_toolchain) const; |
@@ -36,6 +40,7 @@ class Pool : public Item { |
std::string GetNinjaName(bool include_toolchain) const; |
int64_t depth_ = 0; |
+ bool console_ = false; |
}; |
#endif // TOOLS_GN_POOL_H_ |