diff options
Diffstat (limited to 'ports-mgmt/portlint/src/portlint.pl')
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index d88888a..7b5205f 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'}/; |
