diff options
author | 2017-08-29 19:07:31 +0200 | |
---|---|---|
committer | 2017-08-30 13:46:33 +0200 | |
commit | 87848e33994a628b2a8b3d64f6f8df2cd5819d95 (patch) | |
tree | 8b9eb140304e28f7cb9df5d5a45803089b3cb9bc /tools/osx/crosstool | |
parent | 687d6c449a336cd5f9667cf0b15b0f7a26d6c103 (diff) |
BEP: add tool_tag explicitly
Add the tool tag explicitly in the OptionsParsed event. In this
way, consumers of the stream can more easily associate an invocation
with a tool.
Change-Id: I6040e91f657082782bf8010a6576001118672e2d
PiperOrigin-RevId: 166862895
Diffstat (limited to 'tools/osx/crosstool')
0 files changed, 0 insertions, 0 deletions