diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-11-24 20:48:03 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-11-24 20:48:03 +0000 |
| commit | eacaba4cdec861c4fc412b9ec2c962bc9b55a87d (patch) | |
| tree | e79dea8af750091a4ec71b352fa4d549687de4e2 /distrib | |
| parent | 730388fc60655b63a9491a1cafa236fea097516c (diff) | |
| download | haskell-eacaba4cdec861c4fc412b9ec2c962bc9b55a87d.tar.gz | |
Define install-strip in distrib/Makefile
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index a91557e6ee..a157672705 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -1,7 +1,7 @@ include Makefile-vars -.PHONY: install postinstall denounce show-install-setup +.PHONY: install-strip install postinstall denounce show-install-setup #.PHONY: in-place # This has bitrotted: @@ -14,6 +14,9 @@ include Makefile-vars # fi # @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH." +install-strip: + $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install + install :: $(INSTALL_DIR) $(bindir) |