diff options
| author | Munechika SUMIKAWA <sumikawa@FreeBSD.org> | 1999-09-28 16:23:03 +0000 |
|---|---|---|
| committer | Munechika SUMIKAWA <sumikawa@FreeBSD.org> | 1999-09-28 16:23:03 +0000 |
| commit | 942ecd986aaa3d72691189daf6d3e44b69c51800 (patch) | |
| tree | 7856a4d47f0c4992b44540f99d3cd4a61f37d834 /ports-mgmt | |
| parent | 8f641bab833c7835ab63718da379a2564a3afb41 (diff) | |
| download | ports-942ecd986aaa3d72691189daf6d3e44b69c51800.tar.gz ports-942ecd986aaa3d72691189daf6d3e44b69c51800.zip | |
added the following checking:
"in *_DEPENDS, ${PREFIX} must not be used. use ${LOCALBASE}/${X11BASE}
instead of it."
Commented by: asami
Reviewed by: taoka
Notes
Notes:
svn path=/head/; revision=22049
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 2 | ||||
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 8 |
2 files changed, 9 insertions, 1 deletions
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'}/; |