diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-02-06 20:00:19 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-02-06 20:00:19 +0000 |
commit | f42387a5bbdd9bb7fb81276be73aa4ef1f20d174 (patch) | |
tree | 46c294efd7be454dd4971dd48a2fdc498b97122f | |
parent | cf43409cc4e7fb79e3e8894d8a265f61dadc0c56 (diff) | |
download | ports-f42387a5bbdd9bb7fb81276be73aa4ef1f20d174.tar.gz ports-f42387a5bbdd9bb7fb81276be73aa4ef1f20d174.zip |
Notes
-rw-r--r-- | games/gmines/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/games/gmines/Makefile b/games/gmines/Makefile index 80ba47c6162a..27b8e874219b 100644 --- a/games/gmines/Makefile +++ b/games/gmines/Makefile @@ -17,4 +17,7 @@ USE_GNUSTEP_BACK= yes USE_GNUSTEP_BUILD= yes USE_GNUSTEP_INSTALL= yes +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/GNUstep/Local/Applications/GMines.app/GMines + .include <bsd.port.mk> |