diff options
Diffstat (limited to 'distrib/Makefile')
| -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) |