Remove the .config-ok file in distclean:
Remove the .config-ok file in distclean:

novaprova/novaprova,greig-hamilton/novaprova,gnb/novaprova,gnb/novaprova,gnb/novaprova,novaprova/novaprova,greig-hamilton/novaprova,gnb/novaprova,greig-hamilton/novaprova,novaprova/novaprova,greig-hamilton/novaprova,gnb/novaprova,greig-hamilton/novaprova,loom-project/novaprova,loom-project/novaprova,loom-project/novaprova,loom-project/novaprova,novaprova/novaprova,novaprova/novaprova