Re: [XEN PATCH v7 48/51] build: Rework "headers*.chk" prerequisite in include/

2021-10-14 Thread Jan Beulich
On 24.08.2021 12:50, Anthony PERARD wrote: > Listing public headers when out-of-tree build are involved becomes > more annoying where every path to every headers needs to start with > "$(srctree)/$(src)", or $(wildcard ) will not work. This means more > repetition. > > This patch attempt to

[XEN PATCH v7 48/51] build: Rework "headers*.chk" prerequisite in include/

2021-08-24 Thread Anthony PERARD
Listing public headers when out-of-tree build are involved becomes more annoying where every path to every headers needs to start with "$(srctree)/$(src)", or $(wildcard ) will not work. This means more repetition. This patch attempt to reduce the amount of duplication and make better use of