diff options
| -rwxr-xr-x | scripts/bootstrap/buildenv.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/bootstrap/buildenv.sh b/scripts/bootstrap/buildenv.sh index f97040f580..610a218ec9 100755 --- a/scripts/bootstrap/buildenv.sh +++ b/scripts/bootstrap/buildenv.sh @@ -157,7 +157,7 @@ function fail() { exitCode=1 fi echo >&2 - echo "$1" >&2 + echo "$@" >&2 exit $exitCode } @@ -245,10 +245,12 @@ function get_java_version() { || fail "JAVA_HOME ($JAVA_HOME) is not a path to a working JDK." JAVAC_VERSION=$("${JAVAC}" -version 2>&1) - if [[ "$JAVAC_VERSION" =~ ^"javac "(1\.([789]|[1-9][0-9])).*$ ]]; then + if [[ "$JAVAC_VERSION" =~ javac\ (1\.([789]|[1-9][0-9])).*$ ]]; then JAVAC_VERSION=${BASH_REMATCH[1]} else - fail "Cannot determine JDK version, please set \$JAVA_HOME." + fail \ + "Cannot determine JDK version, please set \$JAVA_HOME.\n" \ + "\$JAVAC_VERSION is \"${JAVAC_VERSION}\"" fi } |