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.
2003-09-26 17:49:25 +00:00 · 2003-09-26 17:49:25 +00:00 · 34d8158078
commit 34d8158078
parent a441e6c4c5
1 changed files with 1 additions and 0 deletions
--- 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