diff options
Diffstat (limited to 'cddl/Makefile.inc')
| -rw-r--r-- | cddl/Makefile.inc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cddl/Makefile.inc b/cddl/Makefile.inc index 63768ae44a7d..dc942ed2812d 100644 --- a/cddl/Makefile.inc +++ b/cddl/Makefile.inc @@ -5,8 +5,3 @@ IGNORE_PRAGMA= YES CFLAGS+= -DNEED_SOLARIS_BOOLEAN CFLAGS+= -DHAVE_STRLCAT -DHAVE_STRLCPY - -# Do not lint the CDDL stuff. It is all externally maintained and -# lint output is wasteful noise here. - -NO_LINT= |