On Tue, 24 Feb 2015, Stan Sieler wrote:
> Hi, > > I'd like to request a "-q" or "-nonotes" option to disable notes like: > > Note: processing took 10.5s: ./rose/utility.c Maybe you already will not see this with --very-quiet? julia > > thanks. > > Stan > _______________________________________________ > Cocci mailing list > [email protected] > https://systeme.lip6.fr/mailman/listinfo/cocci > _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
