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
