diff options
| author |  Googler <noreply@google.com> | 2017-08-18 16:33:01 +0200 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-08-21 14:15:46 +0200 |
| commit | e8909945ea1c566f90b864eb42a34d2f76cb72fd (patch) | |
| tree | be87a8aa3541ca24dd7acf39aa4d93c4cb3893d0 /src/main/java/com/google/devtools/build/lib/packages/AdvertisedProviderSet.java | |
| parent | 74a8c3e529f0c3ec9ab02db684e9d0ec4f71bf64 (diff) | |
Prevent using android libraries as resources if they have non-resource info
android_libraries can now be used in the resources attribute. However, if these
libraries contain non-resource information, it won't get picked up. To prevent
unexpected behavior, fail if such libraries are used as resources.
Adding a temporary boolean to AndroidResourcesProvider seems to be the most
straightforward way of doing this. The alternative, having the consuming target
check all relevant providers for non-resource information, would be much
messier.
RELNOTES: None
PiperOrigin-RevId: 165703578
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/packages/AdvertisedProviderSet.java')
0 files changed, 0 insertions, 0 deletions