>1.6 +2 -1 src/sys/conf/kern.pre.mk
--- src/sys/conf/kern.pre.mk 2007/02/22 21:02:49 1.5
+++ src/sys/conf/kern.pre.mk 2008/09/01 19:39:47 1.6
..
-DESTKERNNAME?= ${KERNEL}
+DESTKERNNAME?= boot/${KERNEL}
+CHECKKERNNAME?= ${KERNEL}
..
I have a script that sets DESTKERNNAME, it fails after this change.
(script installs multiple vkernel kernels)
I would suggest to not include `boot/' in DESTKERNNAME,
but to prefix DESTKERNNAME with `boot/' in kern.post.mk
(just like `module' is handled);
any objection to change this?
-thomas