On Wed, Nov 21, 2012 at 8:58 PM, Eitan Adler <li...@eitanadler.com> wrote:
> I've been working on removing obsolete information various documents.
> While going through older articles I noticed a few references to the
> "old style" kernel configuration involving running config(1) manually.
>
> Is there any value in keeping this documented as an alternative to
> "make buildkernel" or should it be treated as an implementation detail?

I suppose it makes less difference on a modern system where "make
buildkernel" takes 15 minutes or even less, but the manual kernel
build gives the opportunity to rebuild a kernel without building
everything --- as in the case where you just modified something simple
(say USB or PCI device IDs).  I'm not talking about the dedicate
kernel developer who should "know things" like this, but the user who
makes these kernel modifications occasionally.
_______________________________________________
freebsd-hackers@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
To unsubscribe, send any mail to "freebsd-hackers-unsubscr...@freebsd.org"

Reply via email to