Re: [PULL v2 0/8] final misc fixes for 5.1-rc0

[Philippe Mathieu-Daudé]

On 7/15/20 12:55 PM, Alex Bennée wrote:
> Dropped configure patch

Ah, after looking at v1 I was going to suggest there is
probably a dependency issue with the configure patch, we
let old objects in the directory, make doesn't source .d
and doesn't rebuilt them.