diff options
author | Evan Martin <martine@danga.com> | 2012-02-14 00:18:46 (GMT) |
---|---|---|
committer | Evan Martin <martine@danga.com> | 2012-02-14 00:20:18 (GMT) |
commit | 51066421eef67847b244154119ca77a893bd6be8 (patch) | |
tree | 73648e2b9bede41bf0045c7bf073c4e645760a20 /src/graphviz.h | |
parent | a1ea9c2d3b74bbc8b290d41c31b4d54f905146ec (diff) | |
download | Ninja-51066421eef67847b244154119ca77a893bd6be8.zip Ninja-51066421eef67847b244154119ca77a893bd6be8.tar.gz Ninja-51066421eef67847b244154119ca77a893bd6be8.tar.bz2 |
graphviz: don't draw edges multiple times
From a patch from Ian Godin <iangodin@gmail.com>.
Diffstat (limited to 'src/graphviz.h')
-rw-r--r-- | src/graphviz.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/graphviz.h b/src/graphviz.h index ab0e2fe..1e2a29d 100644 --- a/src/graphviz.h +++ b/src/graphviz.h @@ -19,6 +19,7 @@ using namespace std; struct Node; +struct Edge; /// Runs the process of creating GraphViz .dot file output. struct GraphViz { @@ -26,7 +27,8 @@ struct GraphViz { void AddTarget(Node* node); void Finish(); - set<Node*> visited_; + set<Node*> visited_nodes_; + set<Edge*> visited_edges_; }; #endif // NINJA_GRAPHVIZ_H_ |