From f3c7b830e59f195b0787273e6cb8066e47df2c16 Mon Sep 17 00:00:00 2001
From: Gleb Smirnoff <glebius@FreeBSD.org>
Date: Tue, 1 Sep 2015 11:59:12 +0000
Subject: [PATCH] Not only build with buildworld, but also install with
 installworld all alternative kernels.

Sponsored by:	Netflix
Sponsored by:	Nginx, Inc.
---
 Makefile.inc1 | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile.inc1 b/Makefile.inc1
index ed325b4431b3..7e2c3819e755 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1127,6 +1127,14 @@ reinstallkernel reinstallkernel.debug: _installcheck_kernel
 	cd ${KRNLOBJDIR}/${INSTALLKERNEL}; \
 	    ${CROSSENV} PATH=${TMPPATH} \
 	    ${MAKE} ${IMAKE_INSTALL} KERNEL=${INSTKERNNAME} ${.TARGET:S/kernel//}
+.for _kernel in ${BUILDKERNELS:[2..-1]}
+	@echo "--------------------------------------------------------------"
+	@echo ">>> Installing kernel ${_kernel}"
+	@echo "--------------------------------------------------------------"
+	cd ${KRNLOBJDIR}/${_kernel}; \
+	    ${CROSSENV} PATH=${TMPPATH} \
+	    ${MAKE} ${IMAKE_INSTALL} KERNEL=${INSTKERNNAME}.${_kernel} ${.TARGET:S/kernel//}
+.endfor
 
 distributekernel distributekernel.debug:
 .if empty(INSTALLKERNEL)