|
@@ -77,7 +77,7 @@ fi |
|
|
if [ ! -x "$JAVACMD" ] ; then |
|
|
if [ ! -x "$JAVACMD" ] ; then |
|
|
echo "Error: JAVA_HOME is not defined correctly." |
|
|
echo "Error: JAVA_HOME is not defined correctly." |
|
|
echo " We cannot execute $JAVACMD" |
|
|
echo " We cannot execute $JAVACMD" |
|
|
exit |
|
|
|
|
|
|
|
|
exit 1 |
|
|
fi |
|
|
fi |
|
|
|
|
|
|
|
|
if [ -n "$CLASSPATH" ] ; then |
|
|
if [ -n "$CLASSPATH" ] ; then |
|
|