Merge pull request #6281 from sjackman/adoptopenjdk

JavaRequirement: Change openjdk to adoptopenjdk
This commit is contained in:
Mike McQuaid 2019-07-08 09:09:56 +01:00 committed by GitHub
commit 2b83463091
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -107,7 +107,7 @@ class JavaRequirement < Requirement
javas = []
javas << Pathname.new(ENV["JAVA_HOME"])/"bin/java" if ENV["JAVA_HOME"]
jdk = begin
Formula["openjdk"]
Formula["adoptopenjdk"]
rescue FormulaUnavailableError
nil
end