| 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_
|
|
|