sys/i386/conf/makeLINT.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#! /bin/sh
# $FreeBSD$

/usr/bin/sed -e 's/#.*//' -e 's/\//' | /usr/bin/awk '
/^[ \t]*$/	{ next }
/^hint\./	{ next }
/^(\
machine|\
ident|\
device|\
makeoptions|\
options|\
profile|\
cpu|\
option|\
maxusers\
)[ \t]/		{ print; next }
{ printf("unrecognized line: line %d: %s\n", NR, $0) > "/dev/stderr" }
'