- - Clean up.
and pass it through to the instkernel/Makefile release target.
multiple install kernels, by setting INST_KERNELS in /etc/mk.conf or the environment, or on the command line. "INSTALL" is always added to the list.