Hi, using the latest Debian package from testing (rc18) and the following spatch on the Linux Kernel:
@@
expression e;
@@
- INIT_COMPLETION(e);
+ reinit_completion(&e);
Running with:
spatch --sp-file /tmp/reinit_completion.cocci --use-idutils --include-headers ./
I get:
init_defs_builtins: /usr/share/coccinelle/standard.h
got files
HANDLING: INIT_COMPLETION drivers/hid/hid-wiimote.h
egrep: INIT_COMPLETION: No such file or directory
EXN:Sys_error("INIT_COMPLETION drivers/hid/hid-wiimote.h: No such file or
directory")
...
The following files are processeed correctly. This call works on the
file which fails above:
spatch --sp-file /tmp/reinit_completion.cocci --include-headers ./drivers/hid/
I hope you can reproduce.
Regards,
Wolfram
signature.asc
Description: Digital signature
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
