Merge pull request #1126 from bradking/pool-release-on-fail
authorNico Weber <nicolasweber@gmx.de>
Tue, 19 Apr 2016 19:13:59 +0000 (15:13 -0400)
committerNico Weber <nicolasweber@gmx.de>
Tue, 19 Apr 2016 19:13:59 +0000 (15:13 -0400)
commit10ef5bf7f965b92e79777309f62ffc3fc9787065
tree9f66af0db12b6e7cbec93f8c292395671cd5a3de
parentad671a63490096321fcc4c60128acdc5c5b06f23
parentff6eedb968ddd6f0f9ba252a31e5a77967edddb5
Merge pull request #1126 from bradking/pool-release-on-fail

Release the pool slot held by an edge whether it succeeds or fails
src/build.cc
src/build_test.cc