diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/jgf.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/jgf.in b/src/jgf.in index 9fe514e4b..621daeb74 100644 --- a/src/jgf.in +++ b/src/jgf.in @@ -7,6 +7,14 @@ GF_DATA_DIR=@datadir@/GF-@PACKAGE_VERSION@ JAVA=@JAVA@ +if [ ! -x "$JAVA" ]; then + JAVA=`which java` +fi + +if [ ! -x "$JAVA" ]; then + echo "No Java VM found" +fi + GF=$GF_BIN_DIR/gf JARFILE=$GF_DATA_DIR/gf-java.jar |