public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
* How to insert splint info Makefile? Any idea?
@ 2010-03-26  1:30 Gary Yang
  2010-03-26  2:18 ` Valdis.Kletnieks
  0 siblings, 1 reply; 2+ messages in thread
From: Gary Yang @ 2010-03-26  1:30 UTC (permalink / raw)
  To: linux-kernel

Hi,

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?


splint *.c
Splint 3.1.2 --- 24 Mar 2010

cache.c:7:25: Cannot find include file asm/pgtable.h on search path:
                 /usr/include;/usr/local/include
  Preprocessing error. (Use -preproc to inhibit warning)
cache.c:42:27: #error Unknown cache type.
Preprocessing error for file: /projects/svdc/P4wsIPCSW/buildsw_canyonlands/linux
                  /arch/m32r/mm/cache.c
*** Cannot continue.


Thanks,


Gary






      

^ permalink raw reply	[flat|nested] 2+ messages in thread
end of thread, other threads:[~2010-03-26  2:18 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-03-26  1:30 How to insert splint info Makefile? Any idea? Gary Yang
2010-03-26  2:18 ` Valdis.Kletnieks

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox