diff options
| author |  Klaus Aehlig <aehlig@google.com> | 2016-03-23 15:59:40 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-03-24 10:31:41 +0000 |
| commit | a62fb6dcde6a5fc673c1470c7a94e66038e52570 (patch) | |
| tree | f824e0bbf6bebd005870fa2ab1d6ed43a79f8c9a /src/main/java/com/google/devtools/common/options | |
| parent | 0773430188885e075121ebf720c82bb05a39db21 (diff) | |
Signal that the info command does not build
In the experimental UI, during build, STDOUT and STDERR events
are reported as separate events, properly terminated by CR LF.
After the completion of the build, however, STDOUT and STDERR
are passed through byte by byte, to allow nicely formatted output.
Info commands, however, do not build, so there is no event to signal
end of build; hence report that fact directly to the UI.
--
Change-Id: Ic236d33ee6e65637016370e15ed37e3d9494a258
Reviewed-on: https://bazel-review.googlesource.com/#/c/3122
MOS_MIGRATED_REVID=117934742
Diffstat (limited to 'src/main/java/com/google/devtools/common/options')
0 files changed, 0 insertions, 0 deletions