diff options
author | Thomas Huth <thuth@redhat.com> | 2024-05-27 08:02:43 +0200 |
---|---|---|
committer | Thomas Huth <thuth@redhat.com> | 2024-05-29 12:41:56 +0200 |
commit | 3efc75ad9d9317e5709861bbebb2c29390f8e7a2 (patch) | |
tree | ab4d2fd218de785586732c91b340074f4c82b754 | |
parent | 84aacddd808b87824bca68006da0f73a1d0905f1 (diff) |
scripts/update-linux-headers.sh: Remove temporary directory inbetween
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.
Message-ID: <20240527060243.12647-1-thuth@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Acked-by: Cornelia Huck <cohuck@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
-rwxr-xr-x | scripts/update-linux-headers.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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" |