> Everyone else: why don't we simply fail compilation without this file? > ($LINUX/.config) Agreed, that would avoid some problems. But how would you do that, technically speaking? I admit I don't know how I would do it. -- Jean Delvare http://www.ensicaen.ismra.fr/~delvare/