From 354f82c3f55a4ebb97c6e99254f37ae2f1ba8933 Mon Sep 17 00:00:00 2001 From: Kir Kolyshkin Date: Tue, 30 Apr 2013 20:17:55 +0400 Subject: [PATCH] crtools: rename binary to criu "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 Signed-off-by: Pavel Emelyanov --- .gitignore | 2 +- Makefile | 2 +- crtools | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) create mode 120000 crtools diff --git a/.gitignore b/.gitignore index 991d3b97f..2c15d3086 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 d870ba043..b23002dee 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 000000000..33c504fed --- /dev/null +++ b/crtools @@ -0,0 +1 @@ +criu \ No newline at end of file