[CRIU] Simple Makefile fix for rpmbuild

[Cyrill Gorcunov]

On Tue, May 19, 2015 at 01:52:00PM +0200, Adrian Reber wrote:
> Trying to create a RPM from current CRIU HEAD fails as the crit
> installation ignores $(DESTDIR).
> 
> This simple patch adds staged installation for crit:
> 
> https://github.com/adrianreber/criu/commit/3f7dd400471d717363c143198fe90dc75fac648b
> 
> diff --git a/Makefile b/Makefile
> index b57d58a..3e32233 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -314,7 +314,7 @@ install-man:
>  
>  install-crit: crit
>         $(E) "  INSTALL crit"
> -       $(Q) python scripts/crit-setup.py install --prefix=$(PREFIX)
> +       $(Q) python scripts/crit-setup.py install --prefix=$(DESTDIR)$(PREFIX)
>  
>  .PHONY: install install-man install-crit

I wish I could comment on this, but I simply dont know the idea
behind all this. IIRC, Kir was the one who initiated "install"
and such. Kir, mind to take a look?