[Cocci] Re: [Bug-Cocci] [PATCH]: Fix parallel make error when building docs

[Arie Middelkoop]

On 08-03-12 22:01, Eugeniy Meshcheryakov wrote:
> Hi,
>
> 8 березня 2012 о 10:34 +0100 Julia Lawall написав(-ла):
>> I'm not sure that parallel make is possible in general for
>> coccinelle, though.
>
> Debian package is built in parallel (except docs, and 3rd party parts
> like pycaml removed) without problems for some time already.

The patch fixed recursive calls to make in the docs directory. I've 
applied it to our repository (or rather: fixed some other calls at other 
places as well). The changes will end up in some next release.

Arie