On Wed, Oct 16, 2002 at 12:51:51PM +0530, Vasan V S wrote: > Hi, > > Can someone explain me how to make SPLINT to include header > files available in some customised path? I tried > > # splint -I <INclude path> <C filename> > > and it does not seem to work.
You need to do -I<INCLUDE path> i.e. there is no space between the -I and the include path. This is a bit odd but it is the way gcc and must other unix cc programs do things. > > Any other ways of specifying the include path would be much > appreciated. > > Thanks, > > Vasan >