diff options
| author | peter <peter@FreeBSD.org> | 2002-05-02 22:20:40 +0000 |
|---|---|---|
| committer | peter <peter@FreeBSD.org> | 2002-05-02 22:20:40 +0000 |
| commit | eee1c0968b1ffca610539e5eaabb175f4c4646ba (patch) | |
| tree | d1d4740e3fac0ddac18ceed9bb2fc7a1597e8511 /sys | |
| parent | 91d051e18dc67d3b94659d0ee87c3383b197a141 (diff) | |
| download | FreeBSD-src-eee1c0968b1ffca610539e5eaabb175f4c4646ba.zip FreeBSD-src-eee1c0968b1ffca610539e5eaabb175f4c4646ba.tar.gz | |
Retire makeLINT.pl
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/i386/conf/makeLINT.pl | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/sys/i386/conf/makeLINT.pl b/sys/i386/conf/makeLINT.pl deleted file mode 100644 index 3c0f917..0000000 --- a/sys/i386/conf/makeLINT.pl +++ /dev/null @@ -1,23 +0,0 @@ -#! /usr/bin/perl -# $FreeBSD$ - -$lno=0; -while (<>) { - chop; - s/#.*//; - s/\f//g; - s/^[ \t]+//; - $line = $_; - $lno++; - ($key, @rest) = split; - next if ($key eq ""); - next if ($key =~ /^hint\./); - if ($key eq "machine" || $key eq "ident" || $key eq "device" || - $key eq "makeoptions" || $key eq "options" || - $key eq "profile" || - $key eq "cpu" || $key eq "option" || $key eq "maxusers") { - print "$line\n"; - } else { - print STDERR "unrecognized line: line $lno: $line\n"; - } -} |
