diff options
Diffstat (limited to 'src/state.cc')
| -rw-r--r-- | src/state.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/state.cc b/src/state.cc index 0fb696e..bb0cc15 100644 --- a/src/state.cc +++ b/src/state.cc @@ -39,9 +39,9 @@ void Pool::DelayEdge(Edge* edge) { } void Pool::RetrieveReadyEdges(set<Edge*>* ready_queue) { - while(!delayed_.empty()) { + while (!delayed_.empty()) { Edge* edge = delayed_.front(); - if(current_use_ + edge->weight() > depth_) + if (current_use_ + edge->weight() > depth_) break; delayed_.pop_front(); ready_queue->insert(edge); @@ -198,7 +198,7 @@ void State::Dump() { node->status_known() ? (node->dirty() ? "dirty" : "clean") : "unknown"); } - if(!pools_.empty()) { + if (!pools_.empty()) { printf("resource_pools:\n"); for (map<string, Pool*>::const_iterator it = pools_.begin(); it != pools_.end(); ++it) |