From c068fcc4fd3fc9d83b58fceb7a59497c86e10e11 Mon Sep 17 00:00:00 2001 From: Robert Iannucci Date: Sat, 10 Nov 2012 11:35:02 -0800 Subject: Make edge dump pool name, and skip default pool --- src/graph.cc | 7 +++++++ src/state.cc | 4 +++- 2 files changed, 10 insertions(+), 1 deletion(-) 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::const_iterator it = pools_.begin(); it != pools_.end(); ++it) { - it->second->Dump(); + if (!it->second->name().empty()) { + it->second->Dump(); + } } } } -- cgit v0.12