diff options
| author | markm <markm@FreeBSD.org> | 2002-09-25 09:55:20 +0000 |
|---|---|---|
| committer | markm <markm@FreeBSD.org> | 2002-09-25 09:55:20 +0000 |
| commit | 84072d95a34b6971765837fbfdd181b032dc50ea (patch) | |
| tree | d396c6f92fdb41cddd05360f28415653680607fd /gnu/Makefile.inc | |
| parent | f58719dbdb8649dd3a29aeaadbd11fcb5b7d196d (diff) | |
| download | FreeBSD-src-84072d95a34b6971765837fbfdd181b032dc50ea.zip FreeBSD-src-84072d95a34b6971765837fbfdd181b032dc50ea.tar.gz | |
Avoid linting GNU contrib'ed stuff, even if the build engineer asked
for it (via WANT_LINT). It's Just Too Noisy.
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 |
