diff options
| author | bringert <unknown> | 2004-11-11 15:05:41 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-11-11 15:05:41 +0000 |
| commit | 8b35ece65f76b665b17d360d5d55666655473eb0 (patch) | |
| tree | d8536da98f7cf2c8eddd6217005efbeaea512d6f /src | |
| parent | 29d00145cc7fe349bc61704785c6d4cb35e388aa (diff) | |
Added uninstall target to Makefile in binary dists. jgf now looks for a jvm if the hardcoded one is not found.
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 |