diff options
author | Michael Haro <mharo@FreeBSD.org> | 2000-04-08 22:41:14 +0000 |
---|---|---|
committer | Michael Haro <mharo@FreeBSD.org> | 2000-04-08 22:41:14 +0000 |
commit | de588104e21e4e3e14a3d79ca8814378a0c8044d (patch) | |
tree | 02371ee9a4e04d0566868a6499a1e6b1dbf59eec | |
parent | a0cb9ec98b59ded6aa7cb0b3f453902fd3ea72ba (diff) | |
download | ports-de588104e21e4e3e14a3d79ca8814378a0c8044d.tar.gz ports-de588104e21e4e3e14a3d79ca8814378a0c8044d.zip |
Notes
-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} |