criu-python.patch

   1 --- criu-1.7/Makefile.orig      2015-09-12 20:13:41.777088038 +0200
   2 +++ criu-1.7/Makefile   2015-09-12 20:54:17.423652491 +0200
   3 @@ -351,7 +351,7 @@
   4
   5  install-crit: crit
   6         $(E) "  INSTALL crit"
   7 -       $(Q) python scripts/crit-setup.py install --root=$(DESTDIR) --prefix=$(PREFIX)
   8 +       $(Q) python scripts/crit-setup.py install --root=$(DESTDIR) --prefix=$(PREFIX) --optimize=2
   9
  10  .PHONY: install install-man install-crit install-criu
  11