Messages in this thread | | | Subject | Re: How to insert splint info Makefile? Any idea? | From | Valdis.Kletnieks@vt ... | Date | Thu, 25 Mar 2010 22:18:28 -0400 |
| |
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. [unhandled content-type:application/pgp-signature] | |