On Tue, 5 Aug 2014, Akos PASZTORY wrote:
> Currently if coccinelle meets a file that it cannot open (e.g. it's an
> dangling symlink), it exits with:
> Fatal error: exception Sys_error("/tmp/aa/what.c: No such file or directory")
> even if run in recursive mode (i.e. passing a directory as argument).
>
> Could you please add a command line option to just skip those files
> and keep running? (like make -k)
Do you really want a command line argument for that? I think it could
just be the default behavior? Already, Coccinelle doesn't process code
that it can't parse, so in general there is no guarantee that all code in
a file or directory is processed. It could give a warning on standard
error if it encounters this problem.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
