[PATCH v4 6/7] buildtools/chkincs: use a staging directory for headers

David Marchand david.marchand at redhat.com
Fri Sep 26 11:18:24 CEST 2025


On Fri, 26 Sept 2025 at 11:06, Bruce Richardson
<bruce.richardson at intel.com> wrote:
> > I just pushed an experiment:
> > - single headers install:
> > https://github.com/david-marchand/dpdk/commit/headers_rework~2
> > - chkincs rework (still not using configure_file):
> > https://github.com/david-marchand/dpdk/commit/headers_rework~1
> >
> > WDYT?
> >
>
> Those changes seem good to me.
>
> One final idea/suggestion (apologies for the many suggestions here). Rather
> than having a new script and dependency tracking for the header copies,
> would it be easier to do the header copy as part of the existing C file
> generation script? It's already writing a C file to an output directory,
> would it make sense to have that script just copy the header file to the
> same location too?

We still need something to stage "indirect" headers that are not
preprocessed by this generation script.


-- 
David Marchand



More information about the dev mailing list