Re: [PULL 00/13] qtests, kconfig and misc patches

[Thomas Huth]

On 03/02/2020 16.29, Paolo Bonzini wrote:
> On 03/02/20 16:17, Paolo Bonzini wrote:
>> On 03/02/20 15:50, Peter Maydell wrote:
>>>
>>> An extremely cheesy workaround would be if the commit which
>>> removes the hw/bt/Kconfig also touches configure; then Make
>>> will know it needs to rerun configure, which will (among
>>> other things) blow away all the config-devices.mak.d and
>>> force rerunning of minikconf.
>>>
>>> I don't know what the correct additional makefile magic
>>> would be that would cause us to automatically get deletion
>>> of a Kconfig file right; maybe Paolo does?
>>
>> Nope, sorry. :(
> 
> Wait, hw/*/Kconfig should not have to be added to minikconf.py's
> arguments.  There are "source" lines in hw/Kconfig to do so.  It does
> not fail because minikconf skips multiple includes of the same file, but
> it should be possible to remove it.

Right, I came to the same conclusion. Patch is on the way...

 Thomas