diff options
| author | markm <markm@FreeBSD.org> | 2002-09-25 09:59:54 +0000 |
|---|---|---|
| committer | markm <markm@FreeBSD.org> | 2002-09-25 09:59:54 +0000 |
| commit | 84c5377d8238867452d66e9a75b9615659e85433 (patch) | |
| tree | ce6c1a9795bd48d6a508f546cea00b90c3f61899 /kerberos5/Makefile.inc | |
| parent | c62752bf3953173f3a9fef89ab65b25e971059f7 (diff) | |
| download | FreeBSD-src-84c5377d8238867452d66e9a75b9615659e85433.zip FreeBSD-src-84c5377d8238867452d66e9a75b9615659e85433.tar.gz | |
Don't lint contrib'ed sources, even if the builder gas asked for it.
Its Just Too Noisy.
Diffstat (limited to 'kerberos5/Makefile.inc')
| -rw-r--r-- | kerberos5/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kerberos5/Makefile.inc b/kerberos5/Makefile.inc index 918b803..b90b2f6 100644 --- a/kerberos5/Makefile.inc +++ b/kerberos5/Makefile.inc @@ -1,6 +1,7 @@ # $FreeBSD$ DISTRIBUTION?= krb5 +NOLINT= true .if !defined(INCLUDEOBJDIR) |
