Re: [Sdcc-user] Using lint with SDCC

[Mark S. <mar...@ma...>]

Friedr, thanks for the tip.  Can you be more specific about the 
location of this info in the manual?

I RTFM several times but couldn't find it.  I've been looking in the 
manual posted here: http://www.splint.org/manual/

I'd love to see some example .splintrc files.  Maybe they could be 
posted at the OKR.

TIA,

--Mark

On May 17, 2005, at 11:15 AM, Frieder Ferlemann wrote:

> Hi,
>
> there's now some support for lint in SDCC:)
> http://www.splint.org
>
> Basically use:
> #include <lint.h>
> #include <8052.h>
> on top of your c-files.
>
> (Marginally more documentation is hidden in the
> manual under "Other Options")
>
> Please post your .splintrc or splint.rc or lint.h
> if you found a flag setting that would be more
> appropriate!
>
> Greetings,
>
> Frieder
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by Oracle Space Sweepstakes
> Want to be the first software developer in space?
> Enter now for the Oracle Space Sweepstakes!
> http://ads.osdn.com/?ad_id=7412&alloc_id=16344&op=click
> _______________________________________________
> Sdcc-user mailing list
> Sdc...@li...
> https://lists.sourceforge.net/lists/listinfo/sdcc-user
>