makeLINT.sed replaced makeLINT.sh about 4 months ago.

2002-09-15 19:04:23 +00:00 · 2002-09-15 19:04:23 +00:00 · 79868e3c34
commit 79868e3c34
parent 1ff0331915
1 changed files with 0 additions and 19 deletions
--- a/sys/i386/conf/makeLINT.sh
+++ b/sys/i386/conf/makeLINT.sh
@ -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" }
-'