diff options
| author | sunpoet <sunpoet@FreeBSD.org> | 2017-04-22 18:58:32 +0800 |
|---|---|---|
| committer | sunpoet <sunpoet@FreeBSD.org> | 2017-04-22 18:58:32 +0800 |
| commit | 83d2afc6e036eae5e31f79b31692a9a86ed642cd (patch) | |
| tree | e95f2a6d47101f760217748fc2edb13d1f47ef6e /ports-mgmt | |
| parent | 60151aa04dcfb8964435547942b8a036e1fbaf4e (diff) | |
| download | freebsd-ports-gnome-83d2afc6e036eae5e31f79b31692a9a86ed642cd.tar.gz freebsd-ports-gnome-83d2afc6e036eae5e31f79b31692a9a86ed642cd.tar.zst freebsd-ports-gnome-83d2afc6e036eae5e31f79b31692a9a86ed642cd.zip | |
Convert to options target helper
Approved by: portmgr (blanket)
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index c2ea738313c6..d46c5158f2ba 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -39,6 +39,8 @@ do-install: ${STAGEDIR}${PREFIX}/bin/portlint ${INSTALL_MAN} ${WRKSRC}/portlint.1 \ ${STAGEDIR}${MAN1PREFIX}/man/man1 + +do-install-EXAMPLES-on: ${MKDIR} ${STAGEDIR}${EXAMPLESDIR} ${INSTALL_SCRIPT} ${WRKSRC}/portlintgrep.pl \ ${STAGEDIR}${EXAMPLESDIR}/portlintgrep |