[Cocci] make install broken

Michael Stefaniuc mstefani at mykolab.com
Thu Oct 12 21:23:19 CEST 2017

On 10/12/2017 05:47 PM, SF Markus Elfring wrote:
>> Yes, but spatch should have resolved the symlink. Anyway, I changed
>> the code to use realpath, which should be more reliable (the code
>> before only resolved symlinks on the executable file, without
>> considering parent directories).
>> Sorry for the wrong commit!
> Is this software development also relevant for the following error messages?
> elfring at Sonne:~/Projekte/Linux/next-patched> spatch ~/Projekte/Coccinelle/janitor/….cocci ….c
> warning: Can't find macro file: /usr/local/bin/../lib/coccinelle/standard.h
> warning: Can't find default iso file: /usr/local/bin/../lib/coccinelle/standard.iso
> Python error: No module named coccilib.elems
Correct. It fixes that issue.


More information about the Cocci mailing list