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/hs-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/hs-darcs')
| -rw-r--r-- | devel/hs-darcs/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/hs-darcs/Makefile b/devel/hs-darcs/Makefile index 1be2e0f3283c..17dfe3f7bd61 100644 --- a/devel/hs-darcs/Makefile +++ b/devel/hs-darcs/Makefile @@ -66,4 +66,7 @@ post-patch: ${WRKSRC}/${MAKEFILE} .endif +post-install: + @${STRIP_CMD} ${PREFIX}/bin/darcs + .include <bsd.port.post.mk> |