diff --git a/project/scripts/release b/project/scripts/release index 325b172126..ee4cf7b139 100755 --- a/project/scripts/release +++ b/project/scripts/release @@ -164,7 +164,7 @@ declare -r publish_path="${release_server}:${release_path}" JAVA_VERSION=`java -version 2>&1 | grep -E "java version|openjdk version" | cut -d '"' -f2 | cut -d '.' -f1` -[[ $JAVA_VERSION -ge 9 ]] || fail "Java version is not at least 9" +[[ $JAVA_VERSION -ge 11 ]] || fail "Java version is not at least 11" # check for a git command type -P git &> /dev/null || fail "git command not found"