Hi<br><br>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.<br><br>For more details you can also look in <br><a href="http://www.splint.org/manual/manual.pdf">http://www.splint.org/manual/manual.pdf</a><br>
<br>Thanks<br>Vijayendra Suman<br><br><div class="gmail_quote">On Thu, Mar 5, 2009 at 6:32 PM, binbin zhu <span dir="ltr"><<a href="mailto:zhubinbin.china@gmail.com">zhubinbin.china@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi,<br>
<br>
I am trying to use splint check my project source files and did not<br>
want it raising warning on some header files, How should I do?<br>
_______________________________________________<br>
splint-discuss mailing list<br>
<a href="mailto:splint-discuss@mail.cs.virginia.edu">splint-discuss@mail.cs.virginia.edu</a><br>
<a href="http://www.cs.virginia.edu/mailman/listinfo/splint-discuss" target="_blank">http://www.cs.virginia.edu/mailman/listinfo/splint-discuss</a><br>
</blockquote></div><br><br clear="all"><br>-- <br><a href="https://mail.google.com/mail/?ui=2&view=bsp&ver=1qygpcgurkovy">https://mail.google.com/mail/?ui=2&view=bsp&ver=1qygpcgurkovy</a><br>Regards <br>Vijayendra Suman<br>