diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2015-05-08 19:27:44 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-05-08 19:27:44 +0800 |
| commit | ed23e54ee873e29336f3b7a967e9a47677ba34d2 (patch) | |
| tree | db28498deea1a0b7d1f46f0a1101db674fdfd344 | |
| parent | 39339c73974a0a3e0c8a08dbb5050fbff4850a1b (diff) | |
| download | freebsd-ports-gnome-ed23e54ee873e29336f3b7a967e9a47677ba34d2.tar.gz freebsd-ports-gnome-ed23e54ee873e29336f3b7a967e9a47677ba34d2.tar.zst freebsd-ports-gnome-ed23e54ee873e29336f3b7a967e9a47677ba34d2.zip | |
- Strip library
| -rw-r--r-- | devel/ois/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/devel/ois/Makefile b/devel/ois/Makefile index f89b7f21f4a9..415c9e8d29da 100644 --- a/devel/ois/Makefile +++ b/devel/ois/Makefile @@ -3,7 +3,7 @@ PORTNAME= ois PORTVERSION= 1.2.0 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= devel MASTER_SITES= SF/wgois/Source%20Release/1.2 DISTNAME= ${PORTNAME}_${PORTVERSION} @@ -23,4 +23,7 @@ LDFLAGS+= -L${LOCALBASE}/lib WRKSRC= ${WRKDIR}/${PORTNAME} +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libOIS.so + .include <bsd.port.mk> |