diff options
author | 2018-01-05 15:01:55 -0800 | |
---|---|---|
committer | 2018-01-05 15:03:29 -0800 | |
commit | 11389d548b45d0467138eefb7eee806c1290b336 (patch) | |
tree | aa0d906cf7daf4abcd867cb8b62ab08bb65dc4e3 /src/main/java/com/google/devtools/build/lib | |
parent | 13b000c575e3fc86bfd0ccce8db89740980d5f15 (diff) |
Batch SJD errors for an entire compilation
instead of emitting them one file at a time. This provides users
with a single add_dep command instead of one-per-file.
PiperOrigin-RevId: 180979982
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions