On Mon, May 27 2024, Thomas Huth <th...@redhat.com> wrote: > We are reusing the same temporary directory for installing the headers > of all targets, so there could be stale files here when switching from > one target to another. Make sure to delete the folder before installing > a new set of target headers into it. > > Signed-off-by: Thomas Huth <th...@redhat.com> > --- > scripts/update-linux-headers.sh | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh > index 8963c39189..fbf7e119bc 100755 > --- a/scripts/update-linux-headers.sh > +++ b/scripts/update-linux-headers.sh > @@ -112,6 +112,7 @@ for arch in $ARCHLIST; do > arch_var=ARCH > fi > > + rm -rf "$hdrdir" > make -C "$linux" O="$blddir" INSTALL_HDR_PATH="$hdrdir" $arch_var=$arch > headers_install > > rm -rf "$output/linux-headers/asm-$arch"
Hm. I presume that headers-install gives us the same set of headers outside include/asm for every arch?