diff options
| author |  janakr <janakr@google.com> | 2017-11-01 13:48:46 -0400 |
|---|---|---|
| committer |  John Cater <jcater@google.com> | 2017-11-02 10:04:11 -0400 |
| commit | a0e5b2f4c4312685284e9fbe9be5a4f991eb60b3 (patch) | |
| tree | d0abef9903c4dd6652daa11d391b336e9bc45d61 /src/main/java/com/google/devtools/build/lib/runtime/BlazeModule.java | |
| parent | 3dfcfb1d3c75ee71b654a5950904012d28340269 (diff) | |
Don't require --keep_going to discard graph edges. It's unnecessary.
PiperOrigin-RevId: 174202685
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/BlazeModule.java')
0 files changed, 0 insertions, 0 deletions