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

[Paolo Bonzini]

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.

Paolo