diff options
author | 2018-07-31 07:34:51 -0700 | |
---|---|---|
committer | 2018-07-31 07:36:23 -0700 | |
commit | 1cf5ee39f35628ab8e66935378e80ae6084679ce (patch) | |
tree | b86dcf4d997d7baa829c203f2fa8eb81a95779a3 /src/create_embedded_tools_lib.py | |
parent | 9c9b85f319520f91d48389fc1408c8710af62c29 (diff) |
Get newlines back. After the switch to using a JsonWriter, the json profile
output was written all in one line. However, it is really convenient to be able
to grep and count over the file (or generally be able to open it in an editor).
This change is a bit hacky as just using setIndent makes the file completely
expanded with one key-value pair per line, which is also not ideal. With this
change, the format is:
[
{ <entry> },
{ <entry> },
...
{ <entry> }
]
RELNOTES: None
PiperOrigin-RevId: 206758496
Diffstat (limited to 'src/create_embedded_tools_lib.py')
0 files changed, 0 insertions, 0 deletions