[CRIU] [PATCH] make: Use criu instead of crtools

Cyrill Gorcunov gorcunov at gmail.com
Mon Jun 3 06:02:52 EDT 2013

Previous message: [CRIU] [PATCH] make: Use criu instead of crtools
Next message: [CRIU] [RFC] Start using yoda generator
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Mon, Jun 03, 2013 at 02:00:27PM +0400, Pavel Emelyanov wrote:
> 
> All the rest is not. Having crtools name in source code is OK.

Sure

Previous message: [CRIU] [PATCH] make: Use criu instead of crtools
Next message: [CRIU] [RFC] Start using yoda generator
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the CRIU mailing list