diff options
Diffstat (limited to 'games/dungeon/Makefile')
| -rw-r--r-- | games/dungeon/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/dungeon/Makefile b/games/dungeon/Makefile index f3bfdd4102f7..709fbcfe8353 100644 --- a/games/dungeon/Makefile +++ b/games/dungeon/Makefile @@ -54,7 +54,7 @@ do-install: ${INSTALL_MAN} ${WRKSRC}/dungeon.6 ${PREFIX}/man/man6 post-install: - strip ${PREFIX}/bin/dungeon + ${STRIP_CMD} ${PREFIX}/bin/dungeon .if !defined(NOPORTDOCS) ${INSTALL_DATA} ${WRKSRC}/history ${PREFIX}/share/dungeon ${INSTALL_DATA} ${WRKSRC}/manifest ${PREFIX}/share/dungeon |