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