K 10 svn:author V 5 brian K 8 svn:date V 27 2001-11-01T02:17:49.000000Z K 7 svn:log V 291 Only overwrite ${DESTDIR}${KODIR}.old/${KERNEL_KO} if we haven't booted from it when doing an installkernel. Only change kern.bootfile from ${DESTDIR}${KODIR}/${KERNEL_KO} to ${DESTDIR}${KODIR}.old/${KERNEL_KO}, and only when we're renaming a booted ${DESTDIR}${KODIR}/${KERNEL_KO} kernel. END