diff options
author | gerald <gerald@FreeBSD.org> | 2003-02-02 21:17:40 +0000 |
---|---|---|
committer | gerald <gerald@FreeBSD.org> | 2003-02-02 21:17:40 +0000 |
commit | 15b274eb8c3141f807621d3a7a2414a5c1170af0 (patch) | |
tree | 177c22bf333d320f566c5392358bc028ed3c3be3 /devel/portlint | |
parent | e320470a6e3da9925b3fb250b6bfb4f679d5f164 (diff) | |
download | FreeBSD-ports-15b274eb8c3141f807621d3a7a2414a5c1170af0.zip FreeBSD-ports-15b274eb8c3141f807621d3a7a2414a5c1170af0.tar.gz |
Let the PORTSDIR environment variable override our defaults.
Approved by: mharo (maintainer)
Diffstat (limited to 'devel/portlint')
-rw-r--r-- | devel/portlint/Makefile | 2 | ||||
-rw-r--r-- | devel/portlint/src/portlint.1 | 8 | ||||
-rw-r--r-- | devel/portlint/src/portlint.pl | 4 |
3 files changed, 11 insertions, 3 deletions
diff --git a/devel/portlint/Makefile b/devel/portlint/Makefile index 151e11c..ea92a34 100644 --- a/devel/portlint/Makefile +++ b/devel/portlint/Makefile @@ -9,7 +9,7 @@ PORTNAME= portlint PORTVERSION= 2.3.3 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel MASTER_SITES= # none DISTFILES= # none diff --git a/devel/portlint/src/portlint.1 b/devel/portlint/src/portlint.1 index 904157d..b1e9a8e 100644 --- a/devel/portlint/src/portlint.1 +++ b/devel/portlint/src/portlint.1 @@ -125,14 +125,18 @@ on .Ox .Pc .It Pa /usr/ports/* -port collection +ports collection .Po .Pa /usr/pkgsrc/* on .Nx / .Ox -.Pc +.Pc ; +can be overriden by setting the +.Va PORTSDIR +environment variable. + .Sh AUTHORS .An Michael Haro Aq mharo@FreeBSD.org .An Jun-ichiro Hagino Aq itojun@itojun.org diff --git a/devel/portlint/src/portlint.pl b/devel/portlint/src/portlint.pl index 08b13be..8dfd2de 100644 --- a/devel/portlint/src/portlint.pl +++ b/devel/portlint/src/portlint.pl @@ -135,6 +135,10 @@ foreach my $i (@osdep) { last; } } + +# The PORTSDIR environment variable overrides our defaults. +$portsdir = $ENV{PORTSDIR} if ( defined $ENV{'PORTSDIR'} ); + if ($verbose) { print "OK: config: portsdir: \"$portsdir\" ". "rcsidstr: \"$rcsidstr\" ". |