diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2014-08-16 07:15:12 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2014-08-16 07:15:12 +0000 |
| commit | 97732bd433b9f1dcdb7fea39eee95f0816072d25 (patch) | |
| tree | c85704330c2b3b8a2bf87f72920ef6d997a788be /games/gnurobbo | |
| parent | ab33f8bccd54e619eec5752d58a394abe0df0955 (diff) | |
Notes
Diffstat (limited to 'games/gnurobbo')
| -rw-r--r-- | games/gnurobbo/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/games/gnurobbo/Makefile b/games/gnurobbo/Makefile index fb01c2c84522..c137caa8127e 100644 --- a/games/gnurobbo/Makefile +++ b/games/gnurobbo/Makefile @@ -29,4 +29,7 @@ post-patch: @${REINPLACE_CMD} -e '/^install:/,$$ s|$$([A-Z_]*DIR)|${STAGEDIR}&| g' \ ${WRKSRC}/Makefile +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} + .include <bsd.port.mk> |