Ah, thank you! Could we turn on this setting by default? When piping splint output to other commands, it would be helpful for `splint` to act like `splint +warning-stream-stdout` by default.
On Sat, Nov 2, 2013 at 3:28 PM, David Evans <[email protected]> wrote: > There are several flags you can use to control this - see > http://splint.org/manual/html/appB.html ("Output" section). I think > what you want is -message-stream-stdout > > --- Dave > > On 11/2/13, 11:31 AM, Andrew Pennebaker wrote: > > I often like to splint a lot of code at once, using `guard` to navigate > > the messages. But to do this, I first have to redirect splint's errors > > to stdout: > > > > splint *.c *.h 2>&1 > > > > Could we have splint use stdout for all messages by default? This would > > make it play nicer with many programs. > > > > -- > > Cheers, > > > > Andrew Pennebaker > > www.yellosoft.us <http://www.yellosoft.us> > > > > > > _______________________________________________ > > splint-discuss mailing list > > [email protected] > > http://www.cs.virginia.edu/mailman/listinfo/splint-discuss > > > _______________________________________________ > splint-discuss mailing list > [email protected] > http://www.cs.virginia.edu/mailman/listinfo/splint-discuss > -- Cheers, Andrew Pennebaker www.yellosoft.us
_______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
