Re: [PATCH v2 0/5] tools: remove include/xen-external directory

[Juergen Gross <jgross@xxxxxxxx>]

On 07.02.22 19:09, Anthony PERARD wrote:
> On Mon, Feb 07, 2022 at 07:41:42AM +0100, Juergen Gross wrote:
> > The tools/include/xen-external directory contains a header file from
> > FreeBSD used to generate Xen header files. This series is replacing the
> > complete directory by a single header with the same semantics.
> >
> > Changes in V2:
> > - remove stale comment in patch 1
> Just need to fix the build now, otherwise, the series looks fine:
> https://gitlab.com/xen-project/patchew/xen/-/pipelines/464803007
> ^ xentoolcore conversion seems unfinished.
Hmm, weird.

Seems I did only an incremental build, but I think it should have failed
nevertheless. I suspect something is wrong with the dependencies.


Juergen

Attachment: OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature