diff options
author | janakr <janakr@google.com> | 2017-10-07 03:34:22 +0200 |
---|---|---|
committer | Klaus Aehlig <aehlig@google.com> | 2017-10-07 11:07:47 +0200 |
commit | a0c391e185b3baed9cb2eb237606cab1c48cda2b (patch) | |
tree | 758626b2c5bf5932680bd99ee6e4391f4045de98 /CONTRIBUTING.md | |
parent | 2d8c832998b8a103ff49ee196004ce2be3c17b12 (diff) |
Bubble errors up even in the case of keep_going builds that failed due to catastrophes. Our stricter behavior in the face of errors means that it is no longer possible for a done node to depend on a not-done node in this build.
This opens up the possibility to discard graph edges on all --batch builds, or at least those with --discard_analysis_cache.
PiperOrigin-RevId: 171375405
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions