build: rework "headers*.chk" prerequisite in include/
authorAnthony PERARD <anthony.perard@citrix.com>
Thu, 7 Apr 2022 15:56:53 +0000 (17:56 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 7 Apr 2022 15:56:53 +0000 (17:56 +0200)
commitd55a3043401a82f1ff0f40bbf9a212753aa46781
treeb5f2e88c32ce1999cc566a85eef2e745a9901713
parentbc8d05dd2dceb6569799965a4bd0aeff7a5827d4
build: rework "headers*.chk" prerequisite in include/

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. ( "$(srcdir)" is a shortcut for "$(srctree)/$(src)" )

This patch attempt to reduce the amount of duplication and make better
use of make's meta programming capability. The filters are now listed
in a variable and don't have to repeat the path to the headers files
as this is added later as needed.

Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/include/Makefile