From 11f6c69a2222524fd8711fc48c99dca5d667c38c Mon Sep 17 00:00:00 2001 From: 0xez <110299556+0xez@users.noreply.github.com> Date: Mon, 1 Aug 2022 10:44:03 +0800 Subject: [PATCH] [bugfix](start script)fix a bug while JAVA_HOME not set (#11366) --- env.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/env.sh b/env.sh index 1eb5239125..8ce9ee2984 100755 --- a/env.sh +++ b/env.sh @@ -122,7 +122,7 @@ if test -z "${BUILD_THIRDPARTY_WIP}"; then # check java home if [ -z "$JAVA_HOME" ]; then - export JAVACMD=$(which java) + export JAVA=$(which java) JAVAP=$(which javap) else export JAVA="${JAVA_HOME}/bin/java"