On Thu, Oct 30, 2003 at 02:40:53PM -0500, Leo Bicknell wrote: > > 3) There seems to be no more LINT or other listing of all the options. > Why? In particular I needed "options NETATALK" but couldn't remember > the name and there was no file to quickly grep. Has the list of > options been moved somewhere else?
sys/conf/NOTES + sys/<machine>/conf/NOTES > 4) Due to the way the makefiles now work it seems impossible to build a > new kernel after changing just "options" statements and install it > without also rebuilding all the modules...which takes quite some > time. This seems to be because it moves the whole directory out of > the way in /boot. This seems a little suboptimal to me. You can still use the old way of building kernels when you aren't updating the world. You can also use the reinstall target in conjunction with -DNO_MODULES to just reinstall the kernel. If you just want to change some options and you still want to use the new way, the unsupported workaround is: make -DNOCLEAN buildkernel It still configured the kernel and does a "make depend", but it won't delete the object files which speeds things up a lot. It does fail from time to time though so be sure to try without -DNOCLEAN before reporting breakage. -- Brooks -- Any statement of the form "X is the one, true Y" is FALSE. PGP fingerprint 655D 519C 26A7 82E7 2529 9BF0 5D8E 8BE9 F238 1AD4
pgp00000.pgp
Description: PGP signature
