How to insert splint info Makefile? Any idea?
in [Kernel]
|
Prev: [PATCH] auxdisplay: section cleanup in cfag12864bfb driver
Next: [PATCH] mfd: section cleanup of 88pm860x driver
From: Gary Yang on 25 Mar 2010 21:40 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 -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo(a)vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
From: Valdis.Kletnieks on 25 Mar 2010 22:20
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. |