Thanks very much, Tom, for your prompt response and action taken.
On Tue, Dec 17, 2013 at 3:05 AM, Tom Wijsman <tom...@gentoo.org> wrote: > On Mon, 16 Dec 2013 21:30:52 +0200 > Alexander Kapshuk <alexander.kaps...@gmail.com> wrote: > >> >> https://wiki.gentoo.org/wiki/Kernel/Upgrade >> >> >> Sanitize sources >> >> If you just want to rebuild the current kernel, you need sometimes to >> sanitize the kernel sources: >> >> |root # ||make distclean| > > This has now been updated to reflect this ML thread. > >> Interesting option. Wish it had said it would nuke my .config as well. >> Just finished setting it up. Thought I'd follow the advice given >> before rebuilding the kernel. Should've backed up the .config file >> prior to running 'make distclean'. >> >> Lesson learnt. :'( > > Yeah, you will only want to run this if you really need to run it; in > common, just starting from `make` after having done configuration > changes suffice. You only really need a distclean with a broken build. > > -- > With kind regards, > > Tom Wijsman (TomWij) > Gentoo Developer > > E-mail address : tom...@gentoo.org > GPG Public Key : 6D34E57D > GPG Fingerprint : C165 AF18 AB4C 400B C3D2 ABF0 95B2 1FCD 6D34 E57D
