X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=c4c09f75c90297abff8c756bd98077f75a8c66a3;hb=f9d8c0acef9983e87b6354b87f2a577be2e8dd51;hp=519899e1876eff45c22a5c78e80f90160f124108;hpb=bc825482024b3d85056285f794aaaaa731da7319;p=ghc-hetmet.git

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; \