You'll find an implementation of lint.h here:
http://svn.sourceforge.net/viewcvs.c...iew=markup

Additionally you might want to adapt your device header files according to:
http://www.8052.com/forum/read.phtml?id=116161

Or a little bit further down the road:
http://sourceforge.net/tracker/i...tid=350599

> SPlint commandline settings?
A short note is in SDCC's manual section 3.2.8.

Please report back if you use one of those cryptic splint settings like "/*@ +charindex @*/".

Greetings,
Frieder