Re: [Xen-devel] [PATCH for-4.9] tools/build: Fix installation of public headers

2017-05-24 Thread Ian Jackson
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

Re: [Xen-devel] [PATCH for-4.9] tools/build: Fix installation of public headers

2017-05-24 Thread Wei Liu
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

[Xen-devel] [PATCH for-4.9] tools/build: Fix installation of public headers

2017-05-22 Thread Andrew Cooper
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.