diff options
author | 2018-02-12 13:11:25 -0800 | |
---|---|---|
committer | 2018-02-12 13:12:52 -0800 | |
commit | 03df70b880c4ec3ca8925dd19ba3b6a7927bbbfd (patch) | |
tree | a7692ab7130efcf77463c9bd737dfc572dac7b94 /src/main/java/com/google/devtools/build/lib | |
parent | 0526bd10d4309b71488f1bf9e9449b19c134b662 (diff) |
1) Make checker exit with 199 if there is any dependency issue.
2) Also print the dependency issues to stderr.
3) Add golden tests to test the above two.
RELNOTES:n/a.
PiperOrigin-RevId: 185423338
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions