On Thu, 25 Mar 2010 18:30:36 PDT, Gary Yang said:
> I am working on linux-2.6.25. I would like to use splint. At one of the
> source directory, I typed "splint *.c". I got "Cannot find include file",
> "Cannot continue". I understand that I need to run splint inside the Makefile
> so that it will find the correct include files. However, how to insert splint
> info Makefile? Any idea?

Look at how 'sparse' support is done.