diff options
| -rw-r--r-- | devel/portlint/Makefile | 6 | ||||
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/devel/portlint/Makefile b/devel/portlint/Makefile index 745cd860d534..90db3c62bf3d 100644 --- a/devel/portlint/Makefile +++ b/devel/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} diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 745cd860d534..90db3c62bf3d 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} |