aboutsummaryrefslogtreecommitdiff
path: root/ports-mgmt
diff options
context:
space:
mode:
authorGerald Pfeifer <gerald@FreeBSD.org>2003-02-02 21:17:40 +0000
committerGerald Pfeifer <gerald@FreeBSD.org>2003-02-02 21:17:40 +0000
commit9bf9023ee492c2941ebb14802da2ecd07231413f (patch)
tree799a302625a94f0639b52e667220acda4289b19e /ports-mgmt
parent19f47f309e0a687ee9fa4231c61e8cbf1225541d (diff)
downloadports-9bf9023ee492c2941ebb14802da2ecd07231413f.tar.gz
ports-9bf9023ee492c2941ebb14802da2ecd07231413f.zip
Notes
Diffstat (limited to 'ports-mgmt')
-rw-r--r--ports-mgmt/portlint/Makefile2
-rw-r--r--ports-mgmt/portlint/src/portlint.18
-rw-r--r--ports-mgmt/portlint/src/portlint.pl4
3 files changed, 11 insertions, 3 deletions
diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile
index 151e11c06857..ea92a34f05e1 100644
--- a/ports-mgmt/portlint/Makefile
+++ b/ports-mgmt/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/ports-mgmt/portlint/src/portlint.1 b/ports-mgmt/portlint/src/portlint.1
index 904157d9e90b..b1e9a8e039ef 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 08b13be587c8..8dfd2de84105 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\" ".