mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
build scripts, setupJdks: print java.runtime.version instead of java.version
This commit is contained in:
@@ -190,14 +190,14 @@ task checkJdk18(dependsOn: setupJdk18) {
|
||||
if (it.contains('java.vendor =')) {
|
||||
vendor = it
|
||||
}
|
||||
else if (it.contains('java.version =')) {
|
||||
else if (it.contains('java.runtime.version =')) {
|
||||
version = it
|
||||
}
|
||||
}
|
||||
println(vendor)
|
||||
println(version)
|
||||
if (!vendor?.contains('JetBrains')) throw new IllegalStateException('java.vendor is not JetBrains')
|
||||
if (!version?.contains(jdkVersion)) throw new IllegalStateException("java.version is not $jdkVersion")
|
||||
if (!version?.contains(jdkVersion)) throw new IllegalStateException("java.runtime.version is not $jdkVersion")
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user