diff options
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); } |