diff options
| author |  lpino <lpino@google.com> | 2017-06-29 19:55:34 +0200 |
|---|---|---|
| committer |  Marcel Hlopko <hlopko@google.com> | 2017-06-30 13:00:19 +0200 |
| commit | 534618c1d3fb65a527f63e5793bf3712a9957d96 (patch) | |
| tree | bd12cc290cadd9f3ab0f7d281fb18e6e76e509d0 /src/main/java/com/google/devtools/build/lib/rules/extra | |
| parent | 100a078f7741b8b8ac2da96b9b7285db871faa63 (diff) | |
Create the StartupFlag class and use it instead of plain list of strings.
Additionally, add a warning note for developers who wish to delete startup
options: they first need to deprecate the flag and once it's a no-op
for a sufficient amount of time then they can delete it from the list
of valid options.
PiperOrigin-RevId: 160546248
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/extra')
0 files changed, 0 insertions, 0 deletions