diff options
| author | taoka <taoka@FreeBSD.org> | 1999-09-28 10:19:47 +0800 |
|---|---|---|
| committer | taoka <taoka@FreeBSD.org> | 1999-09-28 10:19:47 +0800 |
| commit | ce5db12fde8fd8e27aa3a62f12ef3b0ce103e4b9 (patch) | |
| tree | e082864204afb5530bafc6fa3be0963581d2aa37 /ports-mgmt | |
| parent | e3ca168b25d881bba1eed1b2c14bc613a2d1919f (diff) | |
| download | freebsd-ports-gnome-ce5db12fde8fd8e27aa3a62f12ef3b0ce103e4b9.tar.gz freebsd-ports-gnome-ce5db12fde8fd8e27aa3a62f12ef3b0ce103e4b9.tar.zst freebsd-ports-gnome-ce5db12fde8fd8e27aa3a62f12ef3b0ce103e4b9.zip | |
Recently we must use $FreeBSD instead of $Id in Makefile.
So portlint needs this modification.
Approved by: maintainer
Diffstat (limited to 'ports-mgmt')
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index 9a7d3c8af82c..d88888a9c17d 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -23,7 +23,7 @@ $portdir = '.'; # default setting - for FreeBSD $portsdir = '/usr/ports'; -$rcsidstr = '(Id|FreeBSD)'; +$rcsidstr = 'FreeBSD'; $multiplist = 0; $ldconfigwithtrue = 0; $rcsidinplist = 0; @@ -70,7 +70,7 @@ EOF # OS dependent configs # os portsdir rcsid mplist ldcfg plist-rcsid mancompresss strict localbase newxdef automan @osdep = split(/\n/, <<EOF); -FreeBSD /usr/ports (Id|FreeBSD) 0 0 0 1 0 /usr/local 1 1 +FreeBSD /usr/ports FreeBSD 0 0 0 1 0 /usr/local 1 1 NetBSD /usr/pkgsrc NetBSD 1 1 1 0 1 /usr/pkg 0 0 EOF $osname = `uname -s`; |