diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2014-01-30 05:57:58 (GMT) |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2014-02-03 05:20:01 (GMT) |
commit | 2832613dc7c1a4a8ff3b9df729954715762a8381 (patch) | |
tree | 7f4be6edb18f26d73af002f977c2f4a901dfe2ea /src/graph.h | |
parent | 84986af6fdeae3f649f2bf884b20f644bc370e48 (diff) | |
download | Ninja-2832613dc7c1a4a8ff3b9df729954715762a8381.zip Ninja-2832613dc7c1a4a8ff3b9df729954715762a8381.tar.gz Ninja-2832613dc7c1a4a8ff3b9df729954715762a8381.tar.bz2 |
Introduce the "console" pool
This is a pre-defined pool with a depth of 1. It has the special property
that any task in the pool has direct access to the console. This can be
useful for interactive tasks or long-running tasks which produce status
updates on the console (such as test suites).
Diffstat (limited to 'src/graph.h')
-rw-r--r-- | src/graph.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/graph.h b/src/graph.h index 868413c..6cd7f25 100644 --- a/src/graph.h +++ b/src/graph.h @@ -183,6 +183,7 @@ struct Edge { } bool is_phony() const; + bool use_console() const; }; |