[splint-discuss] baffled by sysdirs

[Grant Edwards]

On Tue, Oct 26, 2004 at 07:41:12PM -0500, Grant Edwards wrote:

 Right, but my question was how do I get splint to _not_ look in
 /usr/include and /usr/local/include?
 
 I think I've found the answer: +skip-sys-headers...

Nope, that doesn't appear to work either:

   splint -nolib +skip-sys-headers -I. -Iucos main.c can.c serio.c readline.c cmdhandler.c vdprintf.c 4-20in.c update.c 4-20out.c iic.c sensors.c userobjs.c eeprom.c motor.c units.c
   Splint 3.1.1 --- 25 Oct 2004

   vdprintf.c:11:20: Cannot find include file stdarg.h on search path:
                         .;ucos;/usr/include;/usr/local/include

/usr/include and /usr/local/include are still on the
search path.  

I tried -skip-sys-headers, and it complains it's redundant. The
search path still contains /usr/include and /usr/local/include.

-- 
Grant Edwards
grante at visi.com