Wei Liu writes ("Re: [PATCH for-4.9] tools/build: Fix installation of public
headers"):
> Reviewed-by: Wei Liu
FAOD I think this patch is broken and am developing a replacement.
Ian.
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xe
On Mon, May 22, 2017 at 06:00:49PM +0100, Andrew Cooper wrote:
> The recent build fixes have left the install-tools rule no longer installing
> the Xen public headers into /usr/include/xen/
>
> Use pattern rules to generalise the %-tools-public-headers targets, and switch
> install-tools to depend
The recent build fixes have left the install-tools rule no longer installing
the Xen public headers into /usr/include/xen/
Use pattern rules to generalise the %-tools-public-headers targets, and switch
install-tools to depend on install-tools-public-headers rather than
build-tools-public-headers.