diff options
| author | 2024-01-17 12:10:59 +0800 | |
|---|---|---|
| committer | 2024-01-17 14:33:03 +0800 | |
| commit | 962ae2856468d0c2ef7046cc35234cc7cc71637f (patch) | |
| tree | 2939d1b535fc42c8ef746fe8016552b6545c4d4a | |
| parent | 4ed8f1e4ee4ebb25867c403ed15934f7c6828da2 (diff) | |
Introduce SettingsLintDefaults
Bug: 319351140
Change-Id: I431b37c5e7d007a1a8f0ba27230493c368a042cf
Test: manual compile with lint
| -rw-r--r-- | packages/SettingsLib/Android.bp | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/packages/SettingsLib/Android.bp b/packages/SettingsLib/Android.bp index 5da4b9518a31..c2cb75709b45 100644 --- a/packages/SettingsLib/Android.bp +++ b/packages/SettingsLib/Android.bp @@ -9,6 +9,9 @@ package { android_library { name: "SettingsLib", + defaults: [ + "SettingsLintDefaults", + ], static_libs: [ "androidx.localbroadcastmanager_localbroadcastmanager", @@ -60,8 +63,15 @@ android_library { "src/**/*.java", "src/**/*.kt", ], +} + +// defaults for lint option +java_defaults { + name: "SettingsLintDefaults", lint: { - extra_check_modules: ["SettingsLibLintChecker"], + extra_check_modules: [ + "SettingsLibLintChecker", + ], }, } |