diff options
author | Mark Murray <markm@FreeBSD.org> | 2003-06-15 13:03:37 +0000 |
---|---|---|
committer | Mark Murray <markm@FreeBSD.org> | 2003-06-15 13:03:37 +0000 |
commit | 1dd991a05b4271048788272a97e27fd33bba31dc (patch) | |
tree | eaebc9e57c0bee1e0edaa75fc01ec7acd8e9feb6 /usr.bin/xlint | |
parent | cd4f6ebb130f612dc7c98f12858e1ff9332e11ca (diff) | |
download | src-1dd991a05b4271048788272a97e27fd33bba31dc.tar.gz src-1dd991a05b4271048788272a97e27fd33bba31dc.zip |
If lint(1) is not "lint", don't try to lint the xlint compat-libs. A
third-party lint is probably being used.
Notes
Notes:
svn path=/head/; revision=116402
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 eb8c2e46e5cd..68264f4a7f75 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> |