On Fri, 20 May 2011, Francis Galiegue wrote: > On Fri, May 20, 2011 at 07:11, Julia Lawall <[email protected]> wrote: > [...] > >> > >> Uhm. I should have mentioned that I run spatch on an entire directory, > >> with -dir. Maybe that's why? > > > > Yes, but I would be surprised that you would see it more than once. > > > > I don't indeed. After looking more carefully at the output, I noticed > it only showed it once per directory, ie once per spatch invocation. > > By the way, how to avoid that message?
There is no way to avoid the message, unless you want to avoir all messages with the argument -very_quiet. I usually redirect standard error to some file. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
