echo “ERROR: $TITLE\n$1”
fi
}
isJDK()
{
if [ -z $1 ] || [ ! -x “$1/bin/java” ]; then
return 1
else
return 0
fi
}
UNAME=`which uname`
GREP=`which egrep`
GREP_OPTIONS=""
CUT=`which cut`
READLINK=`which readlink`
XARGS=`which xargs`
DIRNAME=`which dirname`
MKTEMP=`which mktemp`
RM=`which rm`
CAT=`which cat`
TR=`which tr`
if [ -z “ U N A M E " − o − z " UNAME" -o -z " UNAME"−o−z"GREP” -o -z “ C U T " − o − z " CUT" -o -z " CUT"−o−z"MKTEMP” -o -z “ R M " − o − z " RM" -o -z " RM"−o−z"CAT” -o -z “$TR” ]; then
message “Required tools are missing - check beginning of \”$0\" file for details."
exit 1
fi
OS_TYPE=`"$UNAME" -s`
# ---------------------------------------------------------------------
# Ensure IDE_HOME points to the directory where the IDE is installed.
# ---------------------------------------------------------------------
SCRIPT_LOCATION=$0
if [ -x “$READLINK” ]; then
while [ -L “$SCRIPT_LOCATION” ]; do
SCRIPT_LOCATION=`“ R E A