diff options
| -rw-r--r-- | devel/portlint/Makefile | 2 | ||||
| -rw-r--r-- | devel/portlint/src/portlint.pl | 8 | ||||
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 2 | ||||
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 8 |
4 files changed, 18 insertions, 2 deletions
diff --git a/devel/portlint/Makefile b/devel/portlint/Makefile index 714903b95270..f9e23f5d4239 100644 --- a/devel/portlint/Makefile +++ b/devel/portlint/Makefile @@ -6,7 +6,7 @@ # $FreeBSD$ # -DISTNAME= portlint-2.0 +DISTNAME= portlint-2.1 CATEGORIES= devel DISTFILES= #empty diff --git a/devel/portlint/src/portlint.pl b/devel/portlint/src/portlint.pl index d88888a9c17d..7b5205f738cf 100644 --- a/devel/portlint/src/portlint.pl +++ b/devel/portlint/src/portlint.pl @@ -981,6 +981,14 @@ EOF "$j is deprecated."); } + # check for PREFIX + if ($m{'dep'} =~ /\${PREFIX}/) { + &perror("FATAL: \${PREFIX} must not be ". + "contained in *_DEPENDS. ". + "use \${LOCALBASE} or ". + "\${X11BASE} instead."); + } + # check port dir existence $k = $m{'dir'}; $k =~ s/\${PORTSDIR}/$ENV{'PORTSDIR'}/; diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 714903b95270..f9e23f5d4239 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -6,7 +6,7 @@ # $FreeBSD$ # -DISTNAME= portlint-2.0 +DISTNAME= portlint-2.1 CATEGORIES= devel DISTFILES= #empty diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index d88888a9c17d..7b5205f738cf 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -981,6 +981,14 @@ EOF "$j is deprecated."); } + # check for PREFIX + if ($m{'dep'} =~ /\${PREFIX}/) { + &perror("FATAL: \${PREFIX} must not be ". + "contained in *_DEPENDS. ". + "use \${LOCALBASE} or ". + "\${X11BASE} instead."); + } + # check port dir existence $k = $m{'dir'}; $k =~ s/\${PORTSDIR}/$ENV{'PORTSDIR'}/; |