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

[Juergen Gross]

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

OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

OpenPGP_signature
Description: OpenPGP digital signature