Update Tools.java

This commit is contained in:
Duy Tran Khanh 2021-10-17 20:30:17 +07:00 committed by GitHub
parent dd177b7e1e
commit 89f137f21e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -557,7 +557,7 @@ public final class Tools {
for (DependentLibrary libItem: info.libraries) {
if (libItem.rules != null) {
for (JMinecraftVersionList.Arguments.ArgValue.ArgRules rule : libItem.rules) {
if (rule.action.equals("allow") && rule.os.name.equals("osx")) {
if (rule.action.equals("allow") && rule.os != null && rule.os.name.equals("osx")) {
continue;
}
}