diff options
Diffstat (limited to 'scripts/bootstrap')
| -rwxr-xr-x | scripts/bootstrap/compile.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/scripts/bootstrap/compile.sh b/scripts/bootstrap/compile.sh index 294b154b83..becd458387 100755 --- a/scripts/bootstrap/compile.sh +++ b/scripts/bootstrap/compile.sh @@ -65,9 +65,15 @@ LDFLAGS=${LDFLAGS:-""} MSYS_DLLS="" +function get_minor_java_version() { + get_java_version + java_minor_version=$(echo $JAVA_VERSION | sed -E 's/.+\.(.+)(\..*)?/\1/') + javac_minor_version=$(echo $JAVAC_VERSION | sed -E 's/.+\.(.+)(\..*)?/\1/') +} + # Check that javac -version returns a upper version than $JAVA_VERSION. -get_java_version -[ ${JAVA_VERSION#*.} -le ${JAVAC_VERSION#*.} ] || \ +get_minor_java_version +[ ${java_minor_version} -le ${javac_minor_version} ] || \ fail "JDK version (${JAVAC_VERSION}) is lower than ${JAVA_VERSION}, please set \$JAVA_HOME." JAR="${JAVA_HOME}/bin/jar" |