diff options
author | skainswo <skainswo@google.com> | 2018-08-10 11:20:07 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-10 11:22:01 -0700 |
commit | 6a118a6c1ccbe3e436e8a87340a8cc554c9cc0a0 (patch) | |
tree | 22a3c95f1d55d536beba593583e47c9f327d1c9a /src/main/java/com/google/devtools/build/lib/buildeventstream/ProgressEvent.java | |
parent | 930119a70d1024f8d1697582ae2c46292cdfe409 (diff) |
Add more detailed reporting of the differences between startup options.
This changes the logging logic slightly to support diffing startup options between different runs that have different numbers of args.
RELNOTES: Add more detailed reporting of the differences between startup options.
PiperOrigin-RevId: 208239665
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/buildeventstream/ProgressEvent.java')
0 files changed, 0 insertions, 0 deletions