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 /ports-mgmt/portlint/src | |
| 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 'ports-mgmt/portlint/src')
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.1 | 8 | ||||
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 4 |
2 files changed, 10 insertions, 2 deletions
diff --git a/ports-mgmt/portlint/src/portlint.1 b/ports-mgmt/portlint/src/portlint.1 index 904157d..b1e9a8e 100644 --- a/ports-mgmt/portlint/src/portlint.1 +++ b/ports-mgmt/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/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index 08b13be..8dfd2de 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/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\" ". |
