Define install-strip in distrib/Makefile

diff --git a/distrib/Makefile b/distrib/Makefile
index a91557e..a157672 100644 (file)
--- 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)