[CRIU] Is make install broken?

Wed Feb 17 11:14:02 PST 2016

On Wed, Feb 17, 2016 at 10:48:43AM -0800, Saied Kazemi wrote:
>    I just cloned a fresh copy of CRIU but sudo make install failed because
>    DESTDIR and other path-related variables are not set (used to be set in
>    Makefile.inc in earlier versions).
>    Am I missing something?

Yes, really sorry for that, Saied! I'll fix once time permit.
Hopefully it's not critical.