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. :( Paolo
