On Mon, 20 Jul 2015, Luis R. Rodriguez wrote:
> On Mon, Jul 20, 2015 at 10:25 AM, Julia Lawall <julia.law...@lip6.fr> wrote: > >> Ah, so it should be safe to just check for the glimpse index on the > >> target directory, use it if its there, otherwise default to using > >> --use-gitgrep as a second step should be safe, regardless of whether > >> or not the target (directory or file) is part of a git tree? > > > > Yep. > > Great thanks, can you confirm if that safe for Coccinelle 1.0.1 or > will that only be a safe bet for 1.0.2 ? If only safe for 1.0.2 then I > can have it default only for 1.0.2 and for 1.0.2 leave the check in > place? It's only supported as of 1.0.2. julia -- To unsubscribe from this list: send the line "unsubscribe backports" in
