mirror of https://github.com/apache/maven.git
[MNG-7010] Omit "NB: JAVA_HOME should point to a JDK not a JRE"
This closes #512
This commit is contained in:
parent
9c69c78531
commit
5fa834f78b
|
@ -50,9 +50,8 @@ if [ -z "$JAVACMD" ] ; then
|
|||
fi
|
||||
|
||||
if [ ! -x "$JAVACMD" ] ; then
|
||||
echo "The JAVA_HOME environment variable is not defined correctly" >&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
|
||||
echo "The JAVA_HOME environment variable is not defined correctly," >&2
|
||||
echo "this environment variable is needed to run this program." >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
|
|
@ -55,9 +55,8 @@ set "JAVACMD=%JAVA_HOME%\bin\java.exe"
|
|||
|
||||
:checkJCmd
|
||||
if not exist "%JAVACMD%" (
|
||||
echo The JAVA_HOME environment variable is not defined correctly >&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
|
||||
echo The JAVA_HOME environment variable is not defined correctly, >&2
|
||||
echo this environment variable is needed to run this program. >&2
|
||||
goto error
|
||||
)
|
||||
|
||||
|
|
Loading…
Reference in New Issue