On 27/05/2024 17.04, Cornelia Huck wrote:
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?
I just double-checked and yes, apart from a file called "a.out.h", the other
headers outside of the asm subfolder are the same. So AFAICS there is still
a slight chance that we might pick up a wrong file from the asm folder...
shall I change the patch to only delete that subfolder? Or is that chance
just too small that we can ignore it?
Thomas
