diff options
author | Scott Graham <scottmg@chromium.org> | 2015-04-23 22:54:28 (GMT) |
---|---|---|
committer | Scott Graham <scottmg@chromium.org> | 2015-04-23 22:56:09 (GMT) |
commit | 6652258c2fa510f043d32be95ef4c44eaa2800dc (patch) | |
tree | 93fc280de8aaadb4254604cf886800467aa9e9f1 /src/state.h | |
parent | b2b8f3a12d3323c4273aa63460f482d6f7f03211 (diff) | |
download | Ninja-6652258c2fa510f043d32be95ef4c44eaa2800dc.zip Ninja-6652258c2fa510f043d32be95ef4c44eaa2800dc.tar.gz Ninja-6652258c2fa510f043d32be95ef4c44eaa2800dc.tar.bz2 |
Fix pool use count going unbalanced
Diffstat (limited to 'src/state.h')
-rw-r--r-- | src/state.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/state.h b/src/state.h index 5000138..d7987ba 100644 --- a/src/state.h +++ b/src/state.h @@ -44,6 +44,7 @@ struct Pool { bool is_valid() const { return depth_ >= 0; } int depth() const { return depth_; } const string& name() const { return name_; } + int current_use() const { return current_use_; } /// true if the Pool might delay this edge bool ShouldDelayEdge() const { return depth_ != 0; } |