antville/helma
antville/helma
1
1
Fork 0
Code Issues 5 Pull requests 7 Projects Releases 5 Activity Actions

Only check for executable bin/java if JAVA_HOME is set, and if it isn't found,

Browse source 
don't exit but just issue a warning and let the script go on.
This commit is contained in:
hns 2003-09-16 15:30:53 +00:00
parent e6959610db
commit a2dfb6a9b9
3 changed files with 15 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
build/antclick/hop.sh
View file

@ -32,11 +32,11 @@ else
JAVACMD=java
fi
# Check if java command is executable
if [ ! -x "$JAVACMD" ] ; then
echo "Error: JAVA_HOME is not defined correctly."
echo " We cannot execute $JAVACMD"
exit
# If JAVA_HOME is set, check if java command is executable
if [ $JAVA_HOME -a ! -x $JAVACMD ] ; then
echo "Warning: JAVA_HOME variable may be set incorrectly:"
echo " No executable found at $JAVACMD"
fi
# Get the Helma installation directory

10
build/main/hop.sh
View file

@ -32,11 +32,11 @@ else
JAVACMD=java
fi
# Check if java command is executable
if [ ! -x "$JAVACMD" ] ; then
echo "Error: JAVA_HOME is not defined correctly."
echo " We cannot execute $JAVACMD"
exit
# If JAVA_HOME is set, check if java command is executable
if [ $JAVA_HOME -a ! -x $JAVACMD ] ; then
echo "Warning: JAVA_HOME variable may be set incorrectly:"
echo " No executable found at $JAVACMD"
fi
# Get the Helma installation directory

10
hop.sh
View file

@ -32,11 +32,11 @@ else
JAVACMD=java
fi
# Check if java command is executable
if [ ! -x "$JAVACMD" ] ; then
echo "Error: JAVA_HOME is not defined correctly."
echo " We cannot execute $JAVACMD"
exit
# If JAVA_HOME is set, check if java command is executable
if [ $JAVA_HOME -a ! -x $JAVACMD ] ; then
echo "Warning: JAVA_HOME variable may be set incorrectly:"
echo " No executable found at $JAVACMD"
fi
# Get the Helma installation directory