147 |
JIKES_VERSION=`$JIKES --version | awk '/^Jikes Compiler/' | cut -d ' ' -f 5` |
JIKES_VERSION=`$JIKES --version | awk '/^Jikes Compiler/' | cut -d ' ' -f 5` |
148 |
JIKES_VERSION_MAJOR=`echo "$JIKES_VERSION" | cut -d '.' -f 1` |
JIKES_VERSION_MAJOR=`echo "$JIKES_VERSION" | cut -d '.' -f 1` |
149 |
JIKES_VERSION_MINOR=`echo "$JIKES_VERSION" | cut -d '.' -f 2` |
JIKES_VERSION_MINOR=`echo "$JIKES_VERSION" | cut -d '.' -f 2` |
150 |
if expr "$JIKES_VERSION_MAJOR" == 1 > /dev/null; then |
if expr "$JIKES_VERSION_MAJOR" = 1 > /dev/null; then |
151 |
if expr "$JIKES_VERSION_MINOR" \< 19 > /dev/null; then |
if expr "$JIKES_VERSION_MINOR" \< 19 > /dev/null; then |
152 |
JIKES="" |
JIKES="" |
153 |
fi |
fi |