Bastien <bzg <at> gnu.org> writes: > Can you try reinstalling by first remove local.mk or regenerating it > with ~$ make config ?
The local.mk is never touched if one exists, make config simply shows you the most important settings there. In any case, the error was most likely caused by an incorrect defcustom entry that was corrected a few hours later. Regards, Achim.
