From: Ian Lynagh <igloo@earth.li>
Date: Sat, 24 Nov 2007 20:50:37 +0000 (+0000)
Subject: Define install-strip in Makefile
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=d96e492a22b731d72ad3e80cae2e2a773f044d7c;hp=eacaba4cdec861c4fc412b9ec2c962bc9b55a87d

Define install-strip in Makefile
---

diff --git a/Makefile b/Makefile
index 519899e..c4c09f7 100644
--- a/Makefile
+++ b/Makefile
@@ -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; \