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/Makefile | |
| parent | 09b3c829971b696faf5f3cc36576fbb8740c3f26 (diff) | |
Find java with configure, do not include preprocessed jgf script in binary dists.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index d714f5a99..6c9aedded 100644 --- a/src/Makefile +++ b/src/Makefile @@ -134,7 +134,7 @@ binary-dist: ./configure --host="$(host)" CPPFLAGS="`lib__readline -I` `lib__ncurses -I`" LDFLAGS="`lib__readline -l` `lib__ncurses -l`" # make unix gfdoc jar make gfdoc jar - $(INSTALL) ../bin/gf util/gfdoc jgf $(BIN_DIST_DIR) + $(INSTALL) ../bin/gf util/gfdoc $(BIN_DIST_DIR) $(INSTALL) -m 0644 java/gf-java.jar $(BIN_DIST_DIR) $(INSTALL) configure $(BIN_DIST_DIR) $(INSTALL) -m 0644 config.mk.in jgf.in $(BIN_DIST_DIR) |