From 8e4a151efedc16e74d8219251fa811ea95a1a6b1 Mon Sep 17 00:00:00 2001 From: Jerry Lee Date: Thu, 11 Jun 2020 19:17:46 +0800 Subject: [PATCH] update prepare-jdk.sh: upgrade jdk, set +u for sdk command --- scripts/prepare-jdk.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/prepare-jdk.sh b/scripts/prepare-jdk.sh index 07890a951..bee4f24dc 100644 --- a/scripts/prepare-jdk.sh +++ b/scripts/prepare-jdk.sh @@ -32,7 +32,7 @@ jdks_install_by_sdkman=( 12.0.2-open 13.0.3-zulu 14.0.1-zulu - 15.ea.20-open + 15.ea.26-open ) java_home_var_names=() @@ -53,7 +53,9 @@ exportJdkVarAndInstall() { # install jdk by sdkman if [ ! -d "$jdkHomePath" ]; then + set +u runCmd sdk install java "$jdkNameOfSdkman" || die "fail to install jdk $jdkNameOfSdkman by sdkman" + set -u fi done