[CRIU] [PATCH] crtools: rename binary to criu

[Kir Kolyshkin]

"Tools" in the context of a binary name doesn't make any sense,
because every binary is a tool (lstool, dftool), plus it's one
tool.

So let's rename the beast to criu, which is short, pretty unique
and coincides with the name of the project.

Backward-compatible symlink is added for the sake of tests,
we can fix them later and remove the link.

Packagers beware: our binary is no longer crtools but criu.

Signed-off-by: Kir Kolyshkin <kir at openvz.org>
---
 .gitignore | 2 +-
 Makefile   | 2 +-
 crtools    | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)
 create mode 120000 crtools

diff --git a/.gitignore b/.gitignore
index 991d3b9..2c15d30 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,7 +8,7 @@
 *.swo
 *-blob.h
 .git-ignore
-crtools
+criu
 cscope*
 tags
 TAGS
diff --git a/Makefile b/Makefile
index d870ba0..b23002d 100644
--- a/Makefile
+++ b/Makefile
@@ -109,7 +109,7 @@ include scripts/Makefile.rules
 build := -r -R -f scripts/Makefile.build makefile=Makefile obj
 build-crtools := -r -R -f scripts/Makefile.build makefile=Makefile.crtools obj
 
-PROGRAM		:= crtools
+PROGRAM		:= criu
 
 .PHONY: all zdtm test rebuild clean distclean tags cscope	\
 	docs help pie protobuf arch/$(ARCH) clean-built
diff --git a/crtools b/crtools
new file mode 120000
index 0000000..33c504f
--- /dev/null
+++ b/crtools
@@ -0,0 +1 @@
+criu
\ No newline at end of file
-- 
1.8.1.4