parent
2e247001f7
commit
9d63d353d5
1 changed files with 1 additions and 1 deletions
|
|
@ -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"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue