From 34d815807805490eb2ec6bf0249b517252c8981b Mon Sep 17 00:00:00 2001
From: Mark Murray <markm@FreeBSD.org>
Date: Fri, 26 Sep 2003 17:49:25 +0000
Subject: [PATCH] Separate out userland linting and kernel linting a bit more.
 This make things a bit easier for folks using lints other than the "base"
 lint.

---
 share/mk/sys.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/mk/sys.mk b/share/mk/sys.mk
index f2ae1cd45128..af96ddeee853 100644
--- a/share/mk/sys.mk
+++ b/share/mk/sys.mk
@@ -79,6 +79,7 @@ LINT		?=	lint
 LINTFLAGS	?=	-cghapbx
 LINTKERNFLAGS	?=	${LINTFLAGS}
 LINTOBJFLAGS	?=	-cghapbxu -i
+LINTOBJKERNFLAGS?=	${LINTOBJFLAGS}
 LINTLIBFLAGS	?=	-cghapbxu -C ${LIB}
 
 MAKE		?=	make