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=