diff options
| author | Robert Iannucci <robbie@rail.com> | 2012-11-10 19:35:02 (GMT) |
|---|---|---|
| committer | Robert Iannucci <robbie@rail.com> | 2012-11-10 19:43:20 (GMT) |
| commit | c068fcc4fd3fc9d83b58fceb7a59497c86e10e11 (patch) | |
| tree | 73d2c823d9160d43c352cb96bd6e30c8eeb79b80 /src/graph.cc | |
| parent | 0daed0f865fc5fca6b83610db438edefe21dbce1 (diff) | |
| download | Ninja-c068fcc4fd3fc9d83b58fceb7a59497c86e10e11.zip Ninja-c068fcc4fd3fc9d83b58fceb7a59497c86e10e11.tar.gz Ninja-c068fcc4fd3fc9d83b58fceb7a59497c86e10e11.tar.bz2 | |
Make edge dump pool name, and skip default pool
Diffstat (limited to 'src/graph.cc')
| -rw-r--r-- | src/graph.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/graph.cc b/src/graph.cc index 3550d48..f8ceda9 100644 --- a/src/graph.cc +++ b/src/graph.cc @@ -345,6 +345,13 @@ void Edge::Dump(const char* prefix) const { i != outputs_.end() && *i != NULL; ++i) { printf("%s ", (*i)->path().c_str()); } + if (pool_) { + if (!pool_->name().empty()) { + printf("(in pool '%s')", pool_->name().c_str()); + } + } else { + printf("(null pool?)"); + } printf("] 0x%p\n", this); } |