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

[Pavel Emelyanov]

On 05/28/2013 08:40 PM, Cyrill Gorcunov wrote:
> 
> Most dangerous change is gcov target in the general
> Makefile, be ready.
> 
> Signed-off-by: Cyrill Gorcunov <gorcunov at openvz.org>
> ---
>  Makefile                          | 22 +++++++++++-----------
>  Makefile.crtools => Makefile.criu |  0
>  arch/arm/Makefile                 |  6 +++---
>  arch/x86/Makefile                 |  8 ++++----
>  4 files changed, 18 insertions(+), 18 deletions(-)
>  rename Makefile.crtools => Makefile.criu (100%)
> 


All the rest is not. Having crtools name in source code is OK.