diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2016-04-27 19:17:10 (GMT) |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2016-04-27 19:17:10 (GMT) |
| commit | a60702e1b0a4f108e16bb4c03f7fd1c821e5ad1d (patch) | |
| tree | 096eff77f63235157d529d749cc6d67199856f1d /src/build.h | |
| parent | 484c16336f19bd8970bb6e75322d61b92a229899 (diff) | |
| parent | 06b0e568f62d228837e96c485447f55da1ae9b5d (diff) | |
| download | Ninja-a60702e1b0a4f108e16bb4c03f7fd1c821e5ad1d.zip Ninja-a60702e1b0a4f108e16bb4c03f7fd1c821e5ad1d.tar.gz Ninja-a60702e1b0a4f108e16bb4c03f7fd1c821e5ad1d.tar.bz2 | |
v1.7.0v1.7.0
Diffstat (limited to 'src/build.h')
| -rw-r--r-- | src/build.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/build.h b/src/build.h index 8106faa..51589ef 100644 --- a/src/build.h +++ b/src/build.h @@ -56,9 +56,13 @@ struct Plan { /// Dumps the current state of the plan. void Dump(); - /// Mark an edge as done building. Used internally and by - /// tests. - void EdgeFinished(Edge* edge); + enum EdgeResult { + kEdgeFailed, + kEdgeSucceeded + }; + + /// Mark an edge as done building (whether it succeeded or failed). + void EdgeFinished(Edge* edge, EdgeResult result); /// Clean the given node during the build. /// Return false on error. |