Subject: new `-d' option to lint..
To: None <current-users@NetBSD.ORG>
From: Bill Sommerfeld <sommerfeld@orchard.arlington.ma.us>
List: current-users
Date: 03/24/1998 23:30:24
I just added a `-d' option to lint to allow you to set the 
"system" include directory..

This is useful when doing builds with DESTDIR set; the current lint
stuff always winds up linting against the headers in /usr/include even
when you're building against ${DESTDIR}/usr/include.

I'll commit the change to bsd.sys.mk to actually use this in a couple
days; until then, try:

RCS file: /cvsroot/src/share/mk/bsd.sys.mk,v
retrieving revision 1.16
diff -u -r1.16 bsd.sys.mk
--- bsd.sys.mk	1997/11/04 21:12:45	1.16
+++ bsd.sys.mk	1998/03/24 23:30:27
@@ -9,6 +9,7 @@
 
 .if defined(DESTDIR)
 CPPFLAGS+= -nostdinc -idirafter ${DESTDIR}/usr/include
+LINTFLAGS+= -d ${DESTDIR}/usr/include
 .endif
 
 # Helpers for cross-compiling