diff options
author | Ian Lynagh <igloo@earth.li> | 2007-11-24 20:50:37 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2007-11-24 20:50:37 +0000 |
commit | d96e492a22b731d72ad3e80cae2e2a773f044d7c (patch) | |
tree | e86f811aab3819735bbd2454fbbe5b43c4212d29 /Makefile | |
parent | eacaba4cdec861c4fc412b9ec2c962bc9b55a87d (diff) | |
download | haskell-d96e492a22b731d72ad3e80cae2e2a773f044d7c.tar.gz |
Define install-strip in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -162,6 +162,9 @@ else INSTALL_STAGE = endif +install-strip: + $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install + # Same as default rule, but we pass $(INSTALL_STAGE) to $(MAKE) too install :: check-packages @case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \ |