diff options
| author |  Googler <noreply@google.com> | 2017-11-07 19:09:52 +0100 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-11-07 20:57:00 +0100 |
| commit | 62c9474f5cb56b152de36000e12159903e523536 (patch) | |
| tree | 7e8c4428f717c6c235fd8008e4a37c1dba51a339 /src/main/java/com/google/devtools/build/docgen/templates | |
| parent | c439ae1365562f2224c208ed168dcc786904caae (diff) | |
Prefix all --bes_keywords with "user_keyword=<keyword>" before publishing to BES.
- Add a prefix to user provided keywords, so it can be distinguished from
keywords provided directly by Bazel.
- Keywords are also stored in a Set to avoid duplicates.
PiperOrigin-RevId: 174872442
Diffstat (limited to 'src/main/java/com/google/devtools/build/docgen/templates')
0 files changed, 0 insertions, 0 deletions