mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-24 02:12:50 -06:00
Fixed more jgf.in weirdness.
This commit is contained in:
18
src/jgf.in
18
src/jgf.in
@@ -10,30 +10,30 @@ JAVA= @JAVA@
|
|||||||
GF=$GF_BIN_DIR/gf
|
GF=$GF_BIN_DIR/gf
|
||||||
JARFILE=$GF_DATA_DIR/gf-java.jar
|
JARFILE=$GF_DATA_DIR/gf-java.jar
|
||||||
|
|
||||||
if [ ! -x "$JAVA" ]; then
|
if [ ! -x "${JAVA}" ]; then
|
||||||
JAVA=`which java`
|
JAVA=`which java`
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ ! -x "$JAVA" ]; then
|
if [ ! -x "${JAVA}" ]; then
|
||||||
echo "No Java VM found"
|
echo "No Java VM found"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ ! -f "$JARFILE" ]; then
|
if [ ! -f "${JARFILE}" ]; then
|
||||||
echo "JAR file $JARFILE not found"
|
echo "JAR file ${JARFILE} not found"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ ! -x "$GF" ]; then
|
if [ ! -x "${GF}" ]; then
|
||||||
GF=`which gf`
|
GF=`which gf`
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [ ! -x "$GF" ]; then
|
if [ ! -x "${GF}" ]; then
|
||||||
echo "gf not found"
|
echo "gf not found"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
COMMAND= $JAVA -jar $JARFILE "$GF -java $*"
|
COMMAND= ${JAVA} -jar ${JARFILE} "$GF -java $*"
|
||||||
|
|
||||||
echo $COMMAND
|
echo ${COMMAND}
|
||||||
exec $COMMAND
|
exec ${COMMAND}
|
||||||
|
|||||||
Reference in New Issue
Block a user