diff options
Diffstat (limited to 'ports-mgmt/portlint')
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 745cd86..90db3c6 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -20,6 +20,12 @@ SRC= ${.CURDIR}/src MAN1= portlint.1 +# didn't use post/pre-fetch because of some weird error where the message +# shows up twice +pre-configure: + @${ECHO_MSG} "Warning: portlint does not yet support the PORTNAME/PORTVERSION Makefile format" + @sleep 2 + do-fetch: @${DO_NADA} |
