Hi Julia, On Sat, Dec 30, 2017 at 3:49 PM, Julia Lawall <[email protected]> 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. Thanks _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
