diff options
| author | 2023-12-19 14:35:56 +0000 | |
|---|---|---|
| committer | 2023-12-19 14:35:56 +0000 | |
| commit | 4f2659689440b76e00b5f019c77c7f80ce2088b7 (patch) | |
| tree | 53db6d49cc6d519adb0352aee90b26b6342d4ea0 | |
| parent | 9f5d3d2641798d01233819a81007f9716ba11d07 (diff) | |
| parent | 48fefdd2cde1bf0e7f3075c23dbd4cf148f31570 (diff) | |
Merge "Remove unnecessary --api-lint-ignore-prefix options" into main
| -rw-r--r-- | api/Android.bp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/api/Android.bp b/api/Android.bp index 179113f9859d..53988cd373b8 100644 --- a/api/Android.bp +++ b/api/Android.bp @@ -318,10 +318,6 @@ stubs_defaults { "framework-protos", ], flags: [ - "--api-lint-ignore-prefix android.icu.", - "--api-lint-ignore-prefix java.", - "--api-lint-ignore-prefix junit.", - "--api-lint-ignore-prefix org.", "--error NoSettingsProvider", "--error UnhiddenSystemApi", "--error UnflaggedApi", |