[splint-discuss] Preprocessor output?

[Brian Quinlan]

>It would be very helpful to get access to the preprocessed source that
>splint is actually trying to parse.  Is there a command line option
>which convinces splint to output its preprocessor output to stdout, or
>stderr or a log file or something?
>
>In other words, a splint equivalent of the gcc options '-E' and maybe
>'-dD' would be very helpful.  Does such a thing exist?
>
Hi Mark,
Adding +keep to the splint command-line tells splint not to delete
temporary files. The temporary files contain the preprocessor output.

Bye,
Brian
*************************** ADVERTISEMENT ******************************
Get BT Broadband from only EUR20 per month! Always-on internet
& wireless option - find out more at http://www.btireland.ie/broadband