diff options
| author | Colin Cross <ccross@android.com> | 2020-06-18 15:56:48 -0700 |
|---|---|---|
| committer | Colin Cross <ccross@android.com> | 2020-06-18 15:58:32 -0700 |
| commit | 92e4b46af561503506b54f9e4c925615bd03a069 (patch) | |
| tree | b2dba513a3429fd80abb3c3222353df00ac395aa /scripts/lint-project-xml.py | |
| parent | 0b67a8bd0fc87c7c584d165abfeeb9314ce22f18 (diff) | |
Support adding extra lint checks
Add a lint.extra_check_modules property to list modules to use as
plugins to Lint.
Bug: 153485543
Test: m checkbuild
Change-Id: I25c7799438cfec43163e757637c65b8657488d36
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions