diff options
author | markm <markm@FreeBSD.org> | 2003-09-26 17:49:25 +0000 |
---|---|---|
committer | markm <markm@FreeBSD.org> | 2003-09-26 17:49:25 +0000 |
commit | 60e30bb74140baac064643ba75aac43b283b52f9 (patch) | |
tree | 69e351babcee4f7f5b7486edec86732817d9b7b2 /share | |
parent | 0bf034b9c2924dc46969afdd3a4034d25e843a82 (diff) | |
download | FreeBSD-src-60e30bb74140baac064643ba75aac43b283b52f9.zip FreeBSD-src-60e30bb74140baac064643ba75aac43b283b52f9.tar.gz |
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.
Diffstat (limited to 'share')
-rw-r--r-- | share/mk/sys.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/mk/sys.mk b/share/mk/sys.mk index f2ae1cd..af96dde 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 |