chore: Miscellaneous code clean-up

This commit is contained in:
Pun Butrach 2025-04-14 17:17:51 +07:00 committed by GitHub
parent b11a720621
commit a1f9a2786f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 8 additions and 8 deletions

View File

@ -13,5 +13,5 @@
-dontwarn java.awt.**
-dontwarn javax.**
# Keep this for Share Plus or else you can't share log in Settings
# Required for Share Plus, ref: ReVanced/revanced-manager#2474
-keep interface android.content.res.XmlResourceParser { *; }

View File

@ -40,7 +40,7 @@ bool hasUnsupportedRequiredOption(List<Option> options, Patch patch) {
for (final String optionType in requiredOptionsType) {
if (!supportedOptionsType.contains(optionType)) {
if (kDebugMode) {
print('${patch.name} has unsupported required patch option: $requiredOptionsType');
print('PatchCompatibilityCheck: ${patch.name} has unsupported required patch option type: $requiredOptionsType');
}
return true;
}