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
