[CRIU] Simple Makefile fix for rpmbuild

Adrian Reber adrian at lisas.de
Tue May 19 04:52:00 PDT 2015


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


		Adrian


More information about the CRIU mailing list