diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-05-29 18:54:18 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-05-29 18:54:18 +0800 |
| commit | 59116a8cebb5563ea17fbac83583016b46d288c4 (patch) | |
| tree | 91ed594837cb5cda84ca76eb03c89933269e2936 | |
| parent | ea46e1c2720128c41d7c792d34e397e031d689fc (diff) | |
| download | freebsd-ports-gnome-59116a8cebb5563ea17fbac83583016b46d288c4.tar.gz freebsd-ports-gnome-59116a8cebb5563ea17fbac83583016b46d288c4.tar.zst freebsd-ports-gnome-59116a8cebb5563ea17fbac83583016b46d288c4.zip | |
- Strip binaries
| -rw-r--r-- | misc/detachtty/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/detachtty/Makefile b/misc/detachtty/Makefile index bfb7259a3965..f3a1a2128a5b 100644 --- a/misc/detachtty/Makefile +++ b/misc/detachtty/Makefile @@ -3,6 +3,7 @@ PORTNAME= detachtty PORTVERSION= 9 +PORTREVISION= 1 CATEGORIES= misc MASTER_SITES= ftp://ftp.linux.org.uk/pub/lisp/detachtty/ DISTNAME= ${PORTNAME}_${PORTVERSION} @@ -14,6 +15,7 @@ WRKSRC= ${WRKDIR}/${PORTNAME}-9 USES= gmake post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/[ad][te]tachtty ${INSTALL_MAN} ${WRKSRC}/detachtty.1 ${STAGEDIR}${MANPREFIX}/man/man1 ${INSTALL_MAN} ${WRKSRC}/detachtty.1 ${STAGEDIR}${MANPREFIX}/man/man1/attachtty.1 |