[CRIU] [PATCH] make: allow to change a compiler

[Cyrill Gorcunov]

On Fri, Jun 21, 2013 at 03:16:21PM +0400, Andrew Vagin wrote:
> Sorry guys. The CRIU code is correct. Looks like a bug is in the scan-build script.

Thanks for finding it out!