diff options
| author |  mstaib <mstaib@google.com> | 2017-04-07 17:33:20 +0000 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-04-10 11:43:45 +0200 |
| commit | e193df0aa45e84f08fb2f0df65f076d8c3fd844e (patch) | |
| tree | 7ec0cec17589ba03c1126cf16880855bb4d63897 /src/main/java/com/google/devtools/build/lib/remote | |
| parent | d0f13120ac85af77f9ee2324b51fe6aba2f7f405 (diff) | |
Add flag_values attribute to config_setting.
This gives the ability to select on config_feature_flags. They still
have not been publicly documented, because there's no way to set them.
But, progress.
config_setting still needs to have either values or flag_values; it cannot
have both be empty. However, values is no longer mandatory, nor must it be
nonempty (as long as flag_values is set nonempty).
RELNOTES: None.
PiperOrigin-RevId: 152515036
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/remote')
0 files changed, 0 insertions, 0 deletions