diff options
| author | markm <markm@FreeBSD.org> | 2003-06-15 13:03:37 +0000 |
|---|---|---|
| committer | markm <markm@FreeBSD.org> | 2003-06-15 13:03:37 +0000 |
| commit | e0632d72f0cd1b3bddc9d5b96bb9b42f296127cb (patch) | |
| tree | eaebc9e57c0bee1e0edaa75fc01ec7acd8e9feb6 /usr.bin/xlint | |
| parent | 1d77a8e0f63f072eb89849c144f4a9579a42eba3 (diff) | |
| download | FreeBSD-src-e0632d72f0cd1b3bddc9d5b96bb9b42f296127cb.zip FreeBSD-src-e0632d72f0cd1b3bddc9d5b96bb9b42f296127cb.tar.gz | |
If lint(1) is not "lint", don't try to lint the xlint compat-libs. A
third-party lint is probably being used.
Diffstat (limited to 'usr.bin/xlint')
| -rw-r--r-- | usr.bin/xlint/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/usr.bin/xlint/Makefile b/usr.bin/xlint/Makefile index eb8c2e4..68264f4 100644 --- a/usr.bin/xlint/Makefile +++ b/usr.bin/xlint/Makefile @@ -1,6 +1,12 @@ # $NetBSD: Makefile,v 1.2 1995/07/03 21:23:45 cgd Exp $ # $FreeBSD$ -SUBDIR= lint1 lint2 xlint llib +.if ${LINT} == "lint" +_llib= llib +.else +_llib= +.endif + +SUBDIR= lint1 lint2 xlint ${_llib} .include <bsd.subdir.mk> |
