[splint-discuss] how to disable splint warning on specified header file

[Vijayendra Suman]

Hi

You can totally skip check of header files by adding "+never-include" in
your splint command line or if you have your splintrc, add the same in it.

For more details you can also look in
http://www.splint.org/manual/manual.pdf

Thanks
Vijayendra Suman

On Thu, Mar 5, 2009 at 6:32 PM, binbin zhu <zhubinbin.china at gmail.com>wrote:

> Hi,
>
> I am trying to use splint check my project source files and did not
> want it raising  warning on some header files, How should I do?
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>



-- 
https://mail.google.com/mail/?ui=2&view=bsp&ver=1qygpcgurkovy
Regards
Vijayendra Suman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090305/f1fba60f/attachment.html