install.sh does the following:
if [ ! -x "$JAVACMD" ] ; thenecho "Error: JAVA_HOME is not defined correctly."echo " We cannot execute $JAVACMD"exitfi
i.e. it exits 0 (success). Instead it should exit 1 (failure). I could write a patch for this, but really it's trivial...
linux (but affects all unix platforms where install.sh is part of build)
Cleaning up Jira, this was released, set to Closed.
Resolved R3208 R3209Also in V3 R7239
install.sh does the following:
if [ ! -x "$JAVACMD" ] ; then
echo "Error: JAVA_HOME is not defined correctly."
echo " We cannot execute $JAVACMD"
exit
fi
i.e. it exits 0 (success). Instead it should exit 1 (failure). I could write a patch for this, but really it's trivial...