Re: [XEN PATCH v3 12/25] .gitignore: Cleanup ignores of tools/libs//{headers.chk,.pc}

To: Anthony PERARD <anthony.perard@xxxxxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
From: Juergen Gross <jgross@xxxxxxxx>
Date: Wed, 29 Jun 2022 12:15:47 +0200
Cc: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Julien Grall <julien@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>
Delivery-date: Wed, 29 Jun 2022 10:16:08 +0000
List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 24.06.22 18:04, Anthony PERARD wrote:

Signed-off-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>


Reviewed-by: Juergen Gross <jgross@xxxxxxxx>


Juergen

Attachment: OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

References:
- [XEN PATCH v3 00/25] Toolstack build system improvement, toward non-recursive makefiles
  - From: Anthony PERARD
- [XEN PATCH v3 12/25] .gitignore: Cleanup ignores of tools/libs/*/{headers.chk,*.pc}
  - From: Anthony PERARD

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.

Re: [XEN PATCH v3 12/25] .gitignore: Cleanup ignores of tools/libs/*/{headers.chk,*.pc}