Re: [PATCH] scripts/update-linux-headers.sh: Remove temporary directory inbetween

[Thomas Huth]

On 28/05/2024 17.56, Michael S. Tsirkin wrote:
> On Mon, May 27, 2024 at 08:02:43AM +0200, Thomas Huth 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 <thuth@redhat.com>
>
>
> Reviewed-by: Michael S. Tsirkin <mst@redhat.com>

Thanks!

> who's merging this?

I don't mind ... if nobody objects, I can put it into my next pull request.

 Thomas