diff options
author | Mark Murray <markm@FreeBSD.org> | 2002-09-25 09:55:20 +0000 |
---|---|---|
committer | Mark Murray <markm@FreeBSD.org> | 2002-09-25 09:55:20 +0000 |
commit | 826a6331a669a6646d2b4d3c9f5ef03670a6be5f (patch) | |
tree | d396c6f92fdb41cddd05360f28415653680607fd /gnu/Makefile.inc | |
parent | 05a7daf5ca3cd3bc7ffc2b0d438395320f26c0b4 (diff) | |
download | src-826a6331a669a6646d2b4d3c9f5ef03670a6be5f.tar.gz src-826a6331a669a6646d2b4d3c9f5ef03670a6be5f.zip |
Notes
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 000000000000..63395eba3b77 --- /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 |