diff options
| author | mike <mike@FreeBSD.org> | 2002-09-15 19:04:23 +0000 |
|---|---|---|
| committer | mike <mike@FreeBSD.org> | 2002-09-15 19:04:23 +0000 |
| commit | 79868e3c348f5e51d81cec83b77d7b0f0ab5ba56 (patch) | |
| tree | 33c93e03074623541471a6015b259c6d4187502b /sys | |
| parent | 1ff033191562ac9f4d7148366b3011e6f8559843 (diff) | |
| download | FreeBSD-src-79868e3c348f5e51d81cec83b77d7b0f0ab5ba56.zip FreeBSD-src-79868e3c348f5e51d81cec83b77d7b0f0ab5ba56.tar.gz | |
makeLINT.sed replaced makeLINT.sh about 4 months ago.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/i386/conf/makeLINT.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/sys/i386/conf/makeLINT.sh b/sys/i386/conf/makeLINT.sh deleted file mode 100644 index 12b5c13..0000000 --- a/sys/i386/conf/makeLINT.sh +++ /dev/null @@ -1,19 +0,0 @@ -#! /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" } -' |
