diff options
| author | Paul Duffin <paulduffin@google.com> | 2020-05-10 19:32:20 +0100 |
|---|---|---|
| committer | Paul Duffin <paulduffin@google.com> | 2020-05-11 18:05:45 +0100 |
| commit | 160fe41c39c8e84acffce8180fed0031b2244638 (patch) | |
| tree | ae9815fc12d0a9f85691ca75add03e4f292c96a9 /scripts/lint-project-xml.py | |
| parent | 9f10bbf4cfa518a49552a0cc7d14f4fcc8673c93 (diff) | |
Enable api_lint in java_sdk_library
Adds api_lint.enabled property to control whether API linting should be
performed.
Test: m checkapi
Bug: 156126315
Change-Id: I87ca5a942228cf6af1a9939f0334d6fc46c39a63
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions