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

Cyrill Gorcunov gorcunov at gmail.com
Fri Jun 21 04:20:43 EDT 2013


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!


More information about the CRIU mailing list