From ec541fb314a347b12560dd1503f3da995014ac5f Mon Sep 17 00:00:00 2001
From: Mike Barcroft <mike@FreeBSD.org>
Date: Sun, 15 Sep 2002 19:04:23 +0000
Subject: [PATCH] makeLINT.sed replaced makeLINT.sh about 4 months ago.

---
 sys/i386/conf/makeLINT.sh | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 sys/i386/conf/makeLINT.sh

diff --git a/sys/i386/conf/makeLINT.sh b/sys/i386/conf/makeLINT.sh
deleted file mode 100644
index 12b5c13326ab..000000000000
--- 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" }
-'