20 lines
307 B
Bash
20 lines
307 B
Bash
|
#! /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" }
|
|||
|
|
'
|