diff options
author | Christian Stein <sormuras@gmail.com> | 2018-02-19 10:19:04 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-19 10:19:04 +0100 |
commit | 0091cc5b8f172b4eca8dae95f82e060b0d203795 (patch) | |
tree | 86d79a9a56845c002b974ce1fe736ed11a45b89d | |
parent | e6bc3b1d2b5db5f35214f7665ed9f96c6b6fe377 (diff) | |
download | platform_external_javapoet-0091cc5b8f172b4eca8dae95f82e060b0d203795.tar.gz platform_external_javapoet-0091cc5b8f172b4eca8dae95f82e060b0d203795.tar.bz2 platform_external_javapoet-0091cc5b8f172b4eca8dae95f82e060b0d203795.zip |
Drop `-ea` as JDK 10 is now a release candidate
-rw-r--r-- | .buildscript/install-jdk.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.buildscript/install-jdk.sh b/.buildscript/install-jdk.sh index 43d1933..481d487 100644 --- a/.buildscript/install-jdk.sh +++ b/.buildscript/install-jdk.sh @@ -10,7 +10,7 @@ set -e JDK_FEATURE='10' TMP=$(curl -L jdk.java.net/${JDK_FEATURE}) -TMP="${TMP#*Most recent build: jdk-${JDK_FEATURE}-ea+}" # remove everything before the number +TMP="${TMP#*Most recent build: jdk-${JDK_FEATURE}+}" # remove everything before the number TMP="${TMP%%<*}" # remove everything after the number JDK_BUILD="$(echo -e "${TMP}" | tr -d '[:space:]')" # remove all whitespace @@ -31,7 +31,7 @@ if [ "${JDK_LICENSE}" == 'GPL' ]; then JDK_BASENAME='openjdk' fi -JDK_ARCHIVE=${JDK_BASENAME}-${JDK_FEATURE}-ea+${JDK_BUILD}_linux-x64_bin.tar.gz +JDK_ARCHIVE=${JDK_BASENAME}-${JDK_FEATURE}+${JDK_BUILD}_linux-x64_bin.tar.gz cd ~ wget http://download.java.net/java/jdk${JDK_FEATURE}/archive/${JDK_BUILD}/${JDK_LICENSE}/${JDK_ARCHIVE} |