[CRIU] [PATCH 0/3] make: Fixes for deps generation

[Andrew Vagin]

On Tue, Feb 19, 2013 at 01:53:24AM +0400, Cyrill Gorcunov wrote:
> In arch code we do generate headers which are used in other
> arch build targets, thus in case of massive parallels compiling
> we may meed a race between headers gegeration and source code
> compilation of some .c file (as Andrew reported with make -j 32|64).

Jenkins reported with make -j 4

> 
> This series fies such problem (we have not meet it before because our
> make engine were less flexible and all targets are built one by
> one.
> 
> Andtew, please confirm it resolves the problem you met (I've tested
> it in various modes but still). Thanks!
>