diff options
| -rw-r--r-- | sys/amd64/conf/Makefile | 4 | ||||
| -rw-r--r-- | sys/i386/conf/Makefile | 4 | ||||
| -rw-r--r-- | sys/i386/conf/makeLINT.sh | 19 |
3 files changed, 23 insertions, 4 deletions
diff --git a/sys/amd64/conf/Makefile b/sys/amd64/conf/Makefile index d3a508a..ea95176 100644 --- a/sys/amd64/conf/Makefile +++ b/sys/amd64/conf/Makefile @@ -6,5 +6,5 @@ all: clean: rm LINT -LINT: ../../conf/NOTES NOTES makeLINT.pl - cat ../../conf/NOTES NOTES | perl5 makeLINT.pl > LINT +LINT: ../../conf/NOTES NOTES makeLINT.sh + cat ../../conf/NOTES NOTES | sh makeLINT.sh > LINT diff --git a/sys/i386/conf/Makefile b/sys/i386/conf/Makefile index d3a508a..ea95176 100644 --- a/sys/i386/conf/Makefile +++ b/sys/i386/conf/Makefile @@ -6,5 +6,5 @@ all: clean: rm LINT -LINT: ../../conf/NOTES NOTES makeLINT.pl - cat ../../conf/NOTES NOTES | perl5 makeLINT.pl > LINT +LINT: ../../conf/NOTES NOTES makeLINT.sh + cat ../../conf/NOTES NOTES | sh makeLINT.sh > LINT diff --git a/sys/i386/conf/makeLINT.sh b/sys/i386/conf/makeLINT.sh new file mode 100644 index 0000000..12b5c13 --- /dev/null +++ b/sys/i386/conf/makeLINT.sh @@ -0,0 +1,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" } +' |
