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? Thanks, John Carter Phone : (64)(3) 358 6639 Tait Electronics Fax : (64)(3) 359 4632 PO Box 1645 Christchurch Email : [EMAIL PROTECTED] New Zealand A Million Monkeys can inflict worse things than just Shakespeare on your system. _______________________________________________ splint-discuss mailing list [EMAIL PROTECTED] http://www.splint.org/mailman/listinfo/splint-discuss
