[MNG-7010] Omit "NB: JAVA_HOME should point to a JDK not a JRE"

This closes #512
This commit is contained in:
Michael Osipov 2021-07-23 22:45:34 +02:00
parent 22a8cfa059
commit f32eb09892
2 changed files with 4 additions and 6 deletions

View File

@ -100,9 +100,8 @@ else
fi fi
if [ ! -x "$JAVACMD" ] ; then if [ ! -x "$JAVACMD" ] ; then
echo "The JAVA_HOME environment variable is not defined correctly" >&2 echo "The JAVA_HOME environment variable is not defined correctly," >&2
echo "This environment variable is needed to run this program" >&2 echo "this environment variable is needed to run this program." >&2
echo "NB: JAVA_HOME should point to a JDK not a JRE" >&2
exit 1 exit 1
fi fi

View File

@ -54,9 +54,8 @@ set "JAVACMD=%JAVA_HOME%\bin\java.exe"
:checkJCmd :checkJCmd
if exist "%JAVACMD%" goto chkMHome if exist "%JAVACMD%" goto chkMHome
echo The JAVA_HOME environment variable is not defined correctly >&2 echo The JAVA_HOME environment variable is not defined correctly, >&2
echo This environment variable is needed to run this program >&2 echo this environment variable is needed to run this program. >&2
echo NB: JAVA_HOME should point to a JDK not a JRE >&2
goto error goto error
:chkMHome :chkMHome