On Thu, Jan 12, 2023 at 10:17:47AM +0100, Jan Beulich wrote: > Public headers can include other public headers. Such interdependencies > are retained in their compat counterparts. Since some compat headers are > generated only in certain configurations, the referenced headers still > need to exist. The lack thereof was observed with hvm/hvm_op.h needing > trace.h, where generation of the latter depends on TRACEBUFFER=y. Make > empty stubs in such cases (as generating the extra headers is relatively > slow and hence better to avoid). Changes to .config and incrementally > (re-)building is covered by the respective .*.cmd then no longer > matching the command to be used, resulting in the necessary re-creation > of the (possibly stub) header. > > Reported-by: Andrew Cooper <[email protected]> > Signed-off-by: Jan Beulich <[email protected]>
Reviewed-by: Anthony PERARD <[email protected]> This patch also takes care of "removing" compat headers that are no longer needed due to change in .config, which is good to have (even if this only remove the content in it). Thanks, -- Anthony PERARD
