How to fix this in 5.1-REL??

[David O'Brien]

On Tue, Nov 25, 2003 at 09:14:10PM -0700, M. Warner Losh wrote:
> We recommend
> 
> make buildworld
> make buildkernel
> make installkernel
> reboot -s		-> single user
> make installworld

"make buildkernel ; make installkernel" can be shortened to just
"make kernel".