diff options
author | vs <vs@FreeBSD.org> | 2004-11-26 23:50:57 +0800 |
---|---|---|
committer | vs <vs@FreeBSD.org> | 2004-11-26 23:50:57 +0800 |
commit | ba0e23344cf2488f16dbee144baf73ac054911ae (patch) | |
tree | 544e633cdc88565ac5d43dd1ac683ef28ac98cf1 /devel/darcs | |
parent | 533247b86f88e7d86820bd0e7917ad6965460555 (diff) | |
download | freebsd-ports-gnome-ba0e23344cf2488f16dbee144baf73ac054911ae.tar.gz freebsd-ports-gnome-ba0e23344cf2488f16dbee144baf73ac054911ae.tar.zst freebsd-ports-gnome-ba0e23344cf2488f16dbee144baf73ac054911ae.zip |
Strip resulting binary
PR: ports/74391
Submitted by: Eugene Ossintsev
Diffstat (limited to 'devel/darcs')
-rw-r--r-- | devel/darcs/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/darcs/Makefile b/devel/darcs/Makefile index 1be2e0f3283c..17dfe3f7bd61 100644 --- a/devel/darcs/Makefile +++ b/devel/darcs/Makefile @@ -66,4 +66,7 @@ post-patch: ${WRKSRC}/${MAKEFILE} .endif +post-install: + @${STRIP_CMD} ${PREFIX}/bin/darcs + .include <bsd.port.post.mk> |