diff options
| author | Hans Petter Selasky <hselasky@FreeBSD.org> | 2017-11-19 12:36:03 +0000 |
|---|---|---|
| committer | Hans Petter Selasky <hselasky@FreeBSD.org> | 2017-11-19 12:36:03 +0000 |
| commit | 937d37fc6c80b2171091fc773eb40bab53d84648 (patch) | |
| tree | 0662b5f4bd732bde4852e7708e0c5cec32ded96d /sys/conf/kern.pre.mk | |
| parent | d39ec9aea184fba75abfa7f73959417415d6d17e (diff) | |
| parent | d12546572d581e2a46793b3bd09fe29f8046398b (diff) | |
| download | src-937d37fc6c80b2171091fc773eb40bab53d84648.tar.gz src-937d37fc6c80b2171091fc773eb40bab53d84648.zip | |
Notes
Diffstat (limited to 'sys/conf/kern.pre.mk')
| -rw-r--r-- | sys/conf/kern.pre.mk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/sys/conf/kern.pre.mk b/sys/conf/kern.pre.mk index cda160bbd0a6..5c5a847ddc0e 100644 --- a/sys/conf/kern.pre.mk +++ b/sys/conf/kern.pre.mk @@ -46,7 +46,6 @@ M= ${MACHINE} AWK?= awk CP?= cp -LINT?= lint NM?= nm OBJCOPY?= objcopy SIZE?= size @@ -121,9 +120,6 @@ CFLAGS+= ${CONF_CFLAGS} LDFLAGS+= -Wl,--build-id=sha1 .endif -# Optional linting. This can be overridden in /etc/make.conf. -LINTFLAGS= ${LINTOBJKERNFLAGS} - NORMAL_C= ${CC} -c ${CFLAGS} ${WERROR} ${PROF} ${.IMPSRC} NORMAL_S= ${CC:N${CCACHE_BIN}} -c ${ASM_CFLAGS} ${WERROR} ${.IMPSRC} PROFILE_C= ${CC} -c ${CFLAGS} ${WERROR} ${.IMPSRC} @@ -176,8 +172,6 @@ NORMAL_CTFCONVERT= NORMAL_CTFCONVERT= @: .endif -NORMAL_LINT= ${LINT} ${LINTFLAGS} ${CFLAGS:M-[DIU]*} ${.IMPSRC} - # Linux Kernel Programming Interface C-flags LINUXKPI_INCLUDES= -I$S/compat/linuxkpi/common/include LINUXKPI_C= ${NORMAL_C} ${LINUXKPI_INCLUDES} |