diff options
Diffstat (limited to 'release/Makefile')
-rw-r--r-- | release/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 18644b0..c15e13e 100644 --- a/release/Makefile +++ b/release/Makefile @@ -847,6 +847,7 @@ doSTDKERNEL: make KERNEL=${KERNEL} DESTDIR=${RD}/kernels install && \ [ -r ${.CURDIR}/../sys/${MACHINE}/conf/${KERNEL}.hints ] && \ cp ${.CURDIR}/../sys/${MACHINE}/conf/${KERNEL}.hints ${RD}/kernels + make KERNEL=${kernel} DESTDIR=${RD}/kernels kernel-reinstall.debug # # --==## Put a filesystem into a BOOTMFS kernel ##==-- |