mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-20 11:11:24 +00:00
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" }
|
||
'
|