lkml.org 
[lkml]   [2010]   [Mar]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: How to insert splint info Makefile? Any idea?
From
Date
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]
\
 
 \ /
  Last update: 2010-03-26 03:21    [W:0.028 / U:0.132 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site