diff options
| author | kuriyama <kuriyama@FreeBSD.org> | 2002-05-02 06:10:09 +0000 |
|---|---|---|
| committer | kuriyama <kuriyama@FreeBSD.org> | 2002-05-02 06:10:09 +0000 |
| commit | 56adfc1b2546af8bfccfe47c0ed4a5f3bc706be6 (patch) | |
| tree | 27598656f22ea481881636cc66faeb812ee73a6e | |
| parent | 896541a042001d6b3e4ba6d71955b3b9e57bcc3b (diff) | |
| download | FreeBSD-src-56adfc1b2546af8bfccfe47c0ed4a5f3bc706be6.zip FreeBSD-src-56adfc1b2546af8bfccfe47c0ed4a5f3bc706be6.tar.gz | |
Use shell script version (using awk and sed) of makeLINT.pl.
| -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" } +' |
