diff options
| author | markm <markm@FreeBSD.org> | 2002-03-17 10:05:57 +0000 |
|---|---|---|
| committer | markm <markm@FreeBSD.org> | 2002-03-17 10:05:57 +0000 |
| commit | 006a375bc447bfc5b3db07294bf35dbe748b38a9 (patch) | |
| tree | b5f6765714d9527fdbcc32ed40c937ff32a4e7f3 /sys | |
| parent | 476738c7e694d584b48165f22f5def3cbad868b5 (diff) | |
| download | FreeBSD-src-006a375bc447bfc5b3db07294bf35dbe748b38a9.zip FreeBSD-src-006a375bc447bfc5b3db07294bf35dbe748b38a9.tar.gz | |
Allow "make lint" to mostly work. Our sources are very unclean WRT
lint, so this is turned off by default. Setting WANT_LINT will turn
on generation of lint libraries for /usr/libdata/lint/*.ln.
Reviewd by: silence in -audit.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/conf/kern.post.mk | 3 | ||||
| -rw-r--r-- | sys/conf/kmod.mk | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/sys/conf/kern.post.mk b/sys/conf/kern.post.mk index e3c825c..38a395c 100644 --- a/sys/conf/kern.post.mk +++ b/sys/conf/kern.post.mk @@ -57,6 +57,9 @@ kernel-clean: kernel-clobber: find . -type f ! -name version -delete +lint: ${CFILES} + ${LINT} ${LINTKERNFLAGS} ${CFLAGS:M-[DILU]*} ${.ALLSRC} | more 2>&1 + locore.o: $S/$M/$M/locore.s assym.s ${NORMAL_S} diff --git a/sys/conf/kmod.mk b/sys/conf/kmod.mk index 1a99d8a..98d2685 100644 --- a/sys/conf/kmod.mk +++ b/sys/conf/kmod.mk @@ -338,6 +338,9 @@ vnode_if.${_ext}: @/tools/vnode_if.awk @/kern/vnode_if.src regress: +lint: ${SRCS} + ${LINT} ${LINTKERNFLAGS} ${CFLAGS:M-[DILU]*} ${.ALLSRC:M*.c} | more 2>&1 + .include <bsd.dep.mk> .if !exists(${DEPENDFILE}) |
