-D works for me, not sure how I found out as there seems to be no mention in the manual, probably just tried it!
On Fri, 22 Aug 2003 01:53, Erik Cato wrote: > Hi all! > > Is it possible to define a constant define with splint. Would like to be > able to something like this: > > -D__TID__ 0x5432 > > thee result should be same as > #define __TID__ 0x5432 > > Is this possible? > > If not i have to give up splint! > > Regards Erik Cato > > _______________________________________________ > splint-discuss mailing list > [EMAIL PROTECTED] > http://www.splint.org/mailman/listinfo/splint-discuss _______________________________________________ splint-discuss mailing list [EMAIL PROTECTED] http://www.splint.org/mailman/listinfo/splint-discuss
