From f0a0ad3b5813e1a54af2cae8a536f0062c61ceb0 Mon Sep 17 00:00:00 2001 From: Mark Murray Date: Thu, 18 Nov 2010 16:32:52 +0000 Subject: [PATCH] Do not lint code beyond necessity (with apologies to Wiliam of Ockham). Don't lint externally maintained CDDL code, or relint the 32-bit libraries in amd64 mode. --- Makefile.inc1 | 2 +- cddl/Makefile.inc | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 3cb89c40c793..d6ae48f8c6c0 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -322,7 +322,7 @@ LIB32WMAKEENV+= MAKEOBJDIRPREFIX=${OBJTREE}/lib32 \ LIB32WMAKE= ${LIB32WMAKEENV} ${MAKE} -DNO_CPU_CFLAGS -DCOMPAT_32BIT \ -DWITHOUT_BIND -DWITHOUT_MAN -DWITHOUT_INFO \ - -DWITHOUT_HTML -DNO_CTF DESTDIR=${LIB32TMP} + -DWITHOUT_HTML -DNO_CTF -DNO_LINT DESTDIR=${LIB32TMP} LIB32IMAKE= ${LIB32WMAKE:NINSTALL=*:NDESTDIR=*} -DNO_INCS .endif diff --git a/cddl/Makefile.inc b/cddl/Makefile.inc index d3a491443884..9ebb86bffc5b 100644 --- a/cddl/Makefile.inc +++ b/cddl/Makefile.inc @@ -9,3 +9,8 @@ CFLAGS+= -DNEED_SOLARIS_BOOLEAN WARNS?= 6 CSTD?= gnu89 + +# Do not lint the CDDL stuff. It is all externally maintained and +# lint output is wasteful noise here. + +NO_LINT=