diff options
author | Klaus Aehlig <aehlig@google.com> | 2018-08-10 09:53:12 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-10 09:54:45 -0700 |
commit | 44e267980fffd6b0aaee49831fc83441e2000082 (patch) | |
tree | c5d33e22dbebd38bee3c6f0c586eabdf35d372a1 /src/main/java/com/google/devtools/build/docgen/DocCheckerUtils.java | |
parent | 3df620a1ef16e81780d7af40cd2dfa3251d40668 (diff) |
Combine prefix event and payload stdout/stderr
...in a single event instead of relying on the synchronisation on the
reporter. In this way, it will be possible to focus on output of errors,
and also to deduplicate warnings.
Change-Id: I9669e8497ca6e22a01f3e285ec9ee42c1ecf3fb5
PiperOrigin-RevId: 208223882
Diffstat (limited to 'src/main/java/com/google/devtools/build/docgen/DocCheckerUtils.java')
0 files changed, 0 insertions, 0 deletions