[CRIU] Is make install broken?

[Saied Kazemi]

Thanks for your quick response Cyrill.  It's not super urgent.

--Saied


On Wed, Feb 17, 2016 at 11:14 AM, Cyrill Gorcunov <gorcunov at gmail.com>
wrote:

> 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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openvz.org/pipermail/criu/attachments/20160217/f3be0b03/attachment.html>