On Thu, 18 Aug 2016, Chegondi, Harish wrote:
>
> Hello,
>
>
>
> With the 4.8-rc1 kernel, when I run Coccinelle check using the command “make
> coccicheck MODE=report M=<path to directory>”, I get “coccicheck failed”
> message. I get the same failure message even with “MODE=patch” in the
> command. I didn’t see this error message with 4.7 kernel.
>
>
>
> However, with the 4.8-rc1 kernel, if I turn off parallelization with J=1
> option, I don’t see the error message. The check seem to be running
> successfully, even though it takes longer to run. I tried J=2, J=4,… and I
> got error messages. So there seem to be a problem with J not equal to 1.
Concretely, this seems to be how to give extra arguments to Coccinelle:
# You can use SPFLAGS to append extra arguments to coccicheck or override any
# heuristics done in this file as Coccinelle accepts the last options when
# options conflict.
julia
>
>
>
> Below I have mentioned the spatch version and ocaml version.
>
>
>
> -bash-4.2$ spatch --version
>
> spatch version 1.0.4 with Python support and with PCRE support
>
>
>
> -bash-4.2$ ocaml
>
> OCaml version 4.02.3
>
>
>
>
>
>
>
> Can you please let me know how can I resolve the “coccicheck failed”
> message?
>
>
>
> Thank You
>
> Harish.
>
>
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
