It seems that make coccicheck interprets anything being written on standard error as a fatal error. This seems like a strange point of view, as Coccinelle needs somewhere to print warnings that the user may also find useful. But I have changed Coccinelle such that it prints this particular warning in a different way that will cause it to disappear when the option --very-quiet is used. You can find the solution in the latest commit on github.
thanks, julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
