On 05/03/2019 21.08, Eric Blake wrote: [...] > 'make distclean' is a heavy hammer, is there anything smaller in scope > that will fix the problem without nuking everything, such as a strategic > touch or rm of one particular file?
Try this in the top-level folder of your build directory: rm *.mak.d ... not sure whether we can somehow integrate that into the Makefile magic, though... Thomas
