diff options
| author | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
| commit | 801a2cb9f196881e34d8f6d7eeb7a0dcbab6d75a (patch) | |
| tree | 45d8c23bd52228d7f94537d60d7aca9aed3774e0 /src/jgf.in | |
| parent | 09b3c829971b696faf5f3cc36576fbb8740c3f26 (diff) | |
Find java with configure, do not include preprocessed jgf script in binary dists.
Diffstat (limited to 'src/jgf.in')
| -rw-r--r-- | src/jgf.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/jgf.in b/src/jgf.in index ff9adec02..cd79cb7c7 100644 --- a/src/jgf.in +++ b/src/jgf.in @@ -5,7 +5,9 @@ exec_prefix=@exec_prefix@ GF_BIN_DIR=@bindir@ GF_LIB_DIR=@libdir@/GF-@PACKAGE_VERSION@ +JAVA=@JAVA@ + GF=$GF_BIN_DIR/gf JARFILE=$GF_LIB_DIR/gf-java.jar -exec java -jar $JARFILE "$GF -java $*" +exec $JAVA -jar $JARFILE "$GF -java $*" |