aboutsummaryrefslogtreecommitdiff
path: root/jdk-cache-files2.yaml
diff options
context:
space:
mode:
authorStuart Monteith <stuart.monteith@linaro.org>2019-03-28 10:27:11 +0000
committerStuart Monteith <stuart.monteith@linaro.org>2019-03-28 10:27:11 +0000
commit7a29db53c7a583242c71d1a40a8a926e35d9effa (patch)
treea29041ab1e884bb9285e6a9348b5e5ee1e994cdd /jdk-cache-files2.yaml
parentb06a30d76a2336db1cd577e0fa991c2c224fc8fe (diff)
jdk: Give jdk-cache-files2 the correct jdk12 name
Was getting jdk11 of an unknown version. Change-Id: I6654dca7f16cf6c7376ec49ca3f7e3d4387f6a50
Diffstat (limited to 'jdk-cache-files2.yaml')
-rw-r--r--jdk-cache-files2.yaml2
1 files changed, 1 insertions, 1 deletions
diff --git a/jdk-cache-files2.yaml b/jdk-cache-files2.yaml
index e55316a4..90c3eaa7 100644
--- a/jdk-cache-files2.yaml
+++ b/jdk-cache-files2.yaml
@@ -56,7 +56,7 @@
JDK8u=jdk8u-server-release-1804
JDK10=jdk10-server-release-1804
JDK11=jdk11-server-release-1811
- JDK12=jdk11-server-release-1903
+ JDK12=jdk12-release-1903
rm -rf jdk*
wget -N \