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 | |
parent | 0daed0f865fc5fca6b83610db438edefe21dbce1 (diff) | |
download | Ninja-c068fcc4fd3fc9d83b58fceb7a59497c86e10e11.zip Ninja-c068fcc4fd3fc9d83b58fceb7a59497c86e10e11.tar.gz Ninja-c068fcc4fd3fc9d83b58fceb7a59497c86e10e11.tar.bz2 |
Make edge dump pool name, and skip default pool
-rw-r--r-- | src/graph.cc | 7 | ||||
-rw-r--r-- | src/state.cc | 4 |
2 files changed, 10 insertions, 1 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); } diff --git a/src/state.cc b/src/state.cc index b0da350..0fb696e 100644 --- a/src/state.cc +++ b/src/state.cc @@ -203,7 +203,9 @@ void State::Dump() { for (map<string, Pool*>::const_iterator it = pools_.begin(); it != pools_.end(); ++it) { - it->second->Dump(); + if (!it->second->name().empty()) { + it->second->Dump(); + } } } } |