From 6abd71b021f96583c6ebbd8a7adc8969db696c3b Mon Sep 17 00:00:00 2001
From: Ian Lepore <ian@FreeBSD.org>
Date: Fri, 8 Nov 2013 05:11:32 +0000
Subject: [PATCH] Build kernel tools along with other tools during world build,
 as well as during kernel build (if they didn't get done with world).  This
 will make -DMODULES_WITH_WORLD work, and it ensures the kernel tools are
 built as part of 'make kernel-toolchain'.

---
 Makefile.inc1 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.inc1 b/Makefile.inc1
index 15b16ebc392e..1e70db79d0a0 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -540,6 +540,7 @@ _cross-tools:
 	@echo ">>> stage 3: cross tools"
 	@echo "--------------------------------------------------------------"
 	${_+_}cd ${.CURDIR}; ${XMAKE} cross-tools
+	${_+_}cd ${.CURDIR}; ${XMAKE} kernel-tools
 _includes:
 	@echo
 	@echo "--------------------------------------------------------------"