diff options
Diffstat (limited to 'gnu/Makefile.inc')
-rw-r--r-- | gnu/Makefile.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/Makefile.inc b/gnu/Makefile.inc new file mode 100644 index 0000000..63395eb --- /dev/null +++ b/gnu/Makefile.inc @@ -0,0 +1,6 @@ +# $FreeBSD$ + +# Do not lint the GNU stuff. It is all externally maintained and +# lint output is wasteful noise here. + +NOLINT= true |