diff options
| author | bringert <unknown> | 2004-06-23 13:35:52 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 13:35:52 +0000 |
| commit | 09b3c829971b696faf5f3cc36576fbb8740c3f26 (patch) | |
| tree | 9c1633e776c96da34b3eee682ac58e5352c4e2d4 /src | |
| parent | 212a59c446e55c07a76587ce2b91e22c2df00a97 (diff) | |
Added exec and final newline.
Diffstat (limited to 'src')
| -rw-r--r-- | src/jgf.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jgf.in b/src/jgf.in index b0916af70..ff9adec02 100644 --- a/src/jgf.in +++ b/src/jgf.in @@ -8,4 +8,4 @@ GF_LIB_DIR=@libdir@/GF-@PACKAGE_VERSION@ GF=$GF_BIN_DIR/gf JARFILE=$GF_LIB_DIR/gf-java.jar -java -jar $JARFILE "$GF -java $*"
\ No newline at end of file +exec java -jar $JARFILE "$GF -java $*" |
