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" } -'