diff options
author | cushon <cushon@google.com> | 2018-01-05 15:01:55 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-01-05 15:03:29 -0800 |
commit | 11389d548b45d0467138eefb7eee806c1290b336 (patch) | |
tree | aa0d906cf7daf4abcd867cb8b62ab08bb65dc4e3 /src/main/java/com/google/devtools/build/lib/syntax | |
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/syntax')
0 files changed, 0 insertions, 0 deletions