Scott Aaron Bamford <sab@ansic.net> writes:
> cd /usr/src/share/mk && make DESTDIR=/ install
> 
> that should copy the new files other, kernobj was added recently, hope this
> helps.

That is done automatically if he does a "make build" -- in fact, the
notion is you should *ALWAYS* do a "make build" first.

.pm