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 | |
parent | 05a7daf5ca3cd3bc7ffc2b0d438395320f26c0b4 (diff) | |
download | src-826a6331a669a6646d2b4d3c9f5ef03670a6be5f.tar.gz src-826a6331a669a6646d2b4d3c9f5ef03670a6be5f.zip |
Avoid linting GNU contrib'ed stuff, even if the build engineer asked
for it (via WANT_LINT). It's Just Too Noisy.
Notes
Notes:
svn path=/head/; revision=103959
-rw-r--r-- | gnu/Makefile.inc | 6 | ||||
-rw-r--r-- | gnu/lib/Makefile.inc | 3 | ||||
-rw-r--r-- | gnu/lib/libreadline/Makefile.inc | 2 | ||||
-rw-r--r-- | gnu/usr.bin/Makefile.inc | 2 |
4 files changed, 13 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 diff --git a/gnu/lib/Makefile.inc b/gnu/lib/Makefile.inc new file mode 100644 index 000000000000..265f86d1ed55 --- /dev/null +++ b/gnu/lib/Makefile.inc @@ -0,0 +1,3 @@ +# $FreeBSD$ + +.include "../Makefile.inc" diff --git a/gnu/lib/libreadline/Makefile.inc b/gnu/lib/libreadline/Makefile.inc index 58822ff5fb78..84be5d445390 100644 --- a/gnu/lib/libreadline/Makefile.inc +++ b/gnu/lib/libreadline/Makefile.inc @@ -11,3 +11,5 @@ LOCAL_CFLAGS= -DRL_LIBRARY_VERSION='"$(RL_LIBRARY_VERSION)"' CFLAGS+= -I${.CURDIR}/.. -I${SRCDIR} -DHAVE_CONFIG_H ${LOCAL_CFLAGS} HISTSRC= history.c histexpand.c histfile.c histsearch.c shell.c + +.include "../Makefile.inc" diff --git a/gnu/usr.bin/Makefile.inc b/gnu/usr.bin/Makefile.inc index 5d2cffdd3625..4cec6fe01a45 100644 --- a/gnu/usr.bin/Makefile.inc +++ b/gnu/usr.bin/Makefile.inc @@ -1,3 +1,5 @@ # $FreeBSD$ BINDIR?= /usr/bin + +.include "../Makefile.inc" |