[Cocci] coccicheck failed on Ubuntu 16.04

Fabio Estevam festevam at gmail.com
Sat Dec 30 19:00:47 CET 2017

Hi Julia,

On Sat, Dec 30, 2017 at 3:49 PM, Julia Lawall <julia.lawall at lip6.fr> wrote:

> Thanks for the report.  Could you try with V=1 and DEBUG_FILE=file.txt?
> Then it should be possible to find out more about what it is complaining
> about.
> Note that these options are mentioned in "Debugging Coccinelle SmPL
> patches" in Documentation/dev-tools/coccinelle.rst.  Otherwise, they are
> not so easy to remember...

Thanks for your hint. It was python-dev that was missing.

Now it is working fine.


More information about the Cocci mailing list