diff options
Diffstat (limited to 'cddl')
-rw-r--r-- | cddl/Makefile.inc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cddl/Makefile.inc b/cddl/Makefile.inc index 94a42492a4f0..687068d599e8 100644 --- a/cddl/Makefile.inc +++ b/cddl/Makefile.inc @@ -7,8 +7,6 @@ IGNORE_PRAGMA= YES CFLAGS+= -DNEED_SOLARIS_BOOLEAN -WARNS?= 6 - # Do not lint the CDDL stuff. It is all externally maintained and # lint output is wasteful noise here. |