diff options
author | 2018-07-27 06:11:47 -0700 | |
---|---|---|
committer | 2018-07-27 06:13:25 -0700 | |
commit | 2193da931c6804c497f8320dcc81e0d119d26c8c (patch) | |
tree | ab9f07f9684437c25da0dc89a5fc9c74d7f23422 /src/main/java/com/google/devtools/build/lib/ssd | |
parent | 0858ae1f6eb890c1e203a2aa21130ba34ca36a27 (diff) |
Add an option to compress the JSON trace profile.
chrome://tracing is able to load gzipped profiles out of the box.
RELNOTES: None
PiperOrigin-RevId: 206308018
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/ssd')
0 files changed, 0 insertions, 0 deletions