On Tue, Jun 21, 2016 at 10:29:53PM +0200, Julia Lawall wrote: [...] > mkid -i C --output .id-utils.index > > [...] Coccinelle searches for the index in the directory > on which it is working
Can you clarify if this is $PWD from which we spawn spatch or the --dir, or the current directory that spatch is working on at the moment. Luis
