[splint-discuss] Speeding Splint.

John Carter john.carter at tait.co.nz
Wed Nov 19 17:17:49 EST 2003

We're splinting all our files (with various levels), but this is now
taking a significant amount of time to do. (2.4 times the time taken
to compile the files...)

Are there any tricks we can play, checks we can disable, that would
significantly decrease the time it takes to splint all the files?


John Carter                             Phone : (64)(3) 358 6639
Tait Electronics                        Fax   : (64)(3) 359 4632
PO Box 1645 Christchurch                Email : john.carter at tait.co.nz
New Zealand

A Million Monkeys can inflict worse things than just Shakespeare on
your system.

More information about the splint-discuss mailing list