On Sat, Oct 13, 2001 at 04:42:27PM +0200, Helge Deller wrote: > You should prefer "make menuconfig". That way you won't > miss such things. Um? make oldconfig only prompts you for new options. it's harder to miss things with oldconfig than menuconfig, IMO. -- Revolutions do not require corporate support.