On Mon, Jul 20, 2015 at 10:25 AM, Julia Lawall <julia.lawall@xxxxxxx> 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? Luis -- To unsubscribe from this list: send the line "unsubscribe backports" in
