diff options
| author | Roel Spilker <r.spilker@gmail.com> | 2019-08-26 23:49:22 +0200 |
|---|---|---|
| committer | Roel Spilker <r.spilker@gmail.com> | 2019-08-26 23:49:22 +0200 |
| commit | 7bf70ed638fac701c60e2fb29217af7c38056a8c (patch) | |
| tree | 6e9c24a4ceccea589e917cbb4be964e1b66a94e3 /docker/provision/jdk/java-10.sh | |
| parent | ed3c8a67e2d757b0f15c5f2b53b7d6497f49db06 (diff) | |
| download | lombok-7bf70ed638fac701c60e2fb29217af7c38056a8c.tar.gz lombok-7bf70ed638fac701c60e2fb29217af7c38056a8c.tar.bz2 lombok-7bf70ed638fac701c60e2fb29217af7c38056a8c.zip | |
[docker] use AdoptOpenJdk for all java releases, and add the latest version for all supported build systems
Diffstat (limited to 'docker/provision/jdk/java-10.sh')
| -rwxr-xr-x | docker/provision/jdk/java-10.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/provision/jdk/java-10.sh b/docker/provision/jdk/java-10.sh index 4cf75f60..51aebd25 100755 --- a/docker/provision/jdk/java-10.sh +++ b/docker/provision/jdk/java-10.sh @@ -1,4 +1,4 @@ apt-get update && apt-get install -y wget -wget https://download.java.net/java/GA/jdk10/10.0.2/19aef61b38124481863b1413dce1855f/13/openjdk-10.0.2_linux-x64_bin.tar.gz -O jdk.tar.gz +wget https://github.com/AdoptOpenJDK/openjdk10-releases/releases/download/jdk-10.0.2%2B13/OpenJDK10_x64_Linux_jdk-10.0.2%2B13.tar.gz -O jdk.tar.gz tar -xzf jdk.tar.gz -C /opt/ -mv /opt/jdk-10.0.2 /opt/jdk +mv /opt/jdk-10.0.2+13 /opt/jdk |