diff options
| author | 2020-06-25 22:19:29 +0900 | |
|---|---|---|
| committer | 2020-06-27 00:18:12 +0900 | |
| commit | 2b0b3d1491c24b858401892ccd1dfc4a23a4cf30 (patch) | |
| tree | 4bfcc2596815d903761d61958c8aa0291f94eb8e /tools/warn/java_warn_patterns.py | |
| parent | 43774f74c31cfba5589430ae954dbcb2026acb6c (diff) | |
Error if BOARD_VNDK_VERSION=PLATFORM_VNDK_VERSION
"BOARD_VNDK_VERSION := current" should be used instead.
Bug: 159866756
Test: manual
Change-Id: I854ca9c0fa195ab4bbb468a1343ef4fa28ac9258
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions