diff options
author | sewardj <unknown> | 2001-04-03 15:08:35 +0000 |
---|---|---|
committer | sewardj <unknown> | 2001-04-03 15:08:35 +0000 |
commit | 0147f8cce1d6c972de066df2da627206bb8b2e8d (patch) | |
tree | 1cb6e63e4b28c26c33cc7dd719926c9122c192f5 /Makefile | |
parent | 8eda4709fdb427ad135776c9584afff102246174 (diff) | |
download | haskell-0147f8cce1d6c972de066df2da627206bb8b2e8d.tar.gz |
[project @ 2001-04-03 15:08:35 by sewardj]
Fix up make-inplace for binary distribs.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -155,7 +155,14 @@ binary-dist:: @echo "Generating a shippable configure script.." $(MV) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/configure-bin.in $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/configure.in ( cd $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME); autoconf ) - cp $(BIN_DIST_MAIN_DIR)/mk/post-install-script $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) + if test -x $(BIN_DIST_MAIN_DIR)/mk/post-install-script ; then \ + cp $(BIN_DIST_MAIN_DIR)/mk/post-install-script \ + $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) ; \ + fi + if test -x $(BIN_DIST_MAIN_DIR)/mk/post-inplace-script ; then \ + cp $(BIN_DIST_MAIN_DIR)/mk/post-inplace-script \ + $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) ; \ + fi # # binary dist'ing the documentation. # Which documentation to build/install is hardcoded below. |