diff options
| author | Robert Iannucci <robbie@rail.com> | 2012-11-30 01:47:22 (GMT) |
|---|---|---|
| committer | Robert Iannucci <robbie@rail.com> | 2012-11-30 01:47:22 (GMT) |
| commit | cc531200853eea49b4b7e70cbabf394a9c864c79 (patch) | |
| tree | 5389a9c5895e2d0949c76059b9d0ba38305d5eb9 /src/state.cc | |
| parent | 14b3e108edc4a5476a1c2a6b8ae69f6416bca0de (diff) | |
| download | Ninja-cc531200853eea49b4b7e70cbabf394a9c864c79.zip Ninja-cc531200853eea49b4b7e70cbabf394a9c864c79.tar.gz Ninja-cc531200853eea49b4b7e70cbabf394a9c864c79.tar.bz2 | |
Fix formatting
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) |