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