diff options
author | 2017-06-14 10:19:34 +0200 | |
---|---|---|
committer | 2017-06-14 13:17:23 +0200 | |
commit | 45820abe0e4da93b8f1ce97d4296e7d42f0d617e (patch) | |
tree | 71da361a3063af546c8b0c27302bd8ca4d50d676 /src/main/java/com/google/devtools/build/lib/exec | |
parent | 3cc84f2f43b93ff2d909358e5cb32bff16968232 (diff) |
Use EventHandler even before we have a Reporter instance
...instead of relying on all the methods to call printErrLn with exactly the
right format string.
PiperOrigin-RevId: 158951236
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec')
0 files changed, 0 insertions, 0 deletions