Upgrade Java 13 version in CI image

Closes gh-17839
This commit is contained in:
Stephane Nicoll 2019-08-12 10:29:57 +02:00
parent 01491befc3
commit dec15864df

View File

@ -12,7 +12,7 @@ case "$1" in
echo "https://github.com/AdoptOpenJDK/openjdk12-binaries/releases/download/jdk-12.0.2%2B10/OpenJDK12U-jdk_x64_linux_hotspot_12.0.2_10.tar.gz"
;;
java13)
echo "https://github.com/AdoptOpenJDK/openjdk13-binaries/releases/download/jdk13u-2019-07-17-05-32/OpenJDK13U-jdk_x64_linux_hotspot_2019-07-17-05-32.tar.gz"
echo "https://github.com/AdoptOpenJDK/openjdk13-binaries/releases/download/jdk13u-2019-08-10-12-43/OpenJDK13U-jdk_x64_linux_hotspot_2019-08-10-12-43.tar.gz"
;;
*)
echo $"Unknown java version"