From: Mark S. <mar...@ma...> - 2005-05-20 04:02:32
|
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 > |