From c4945016c787ff3fc3efd0dd1eccaf8f33298a1a Mon Sep 17 00:00:00 2001
From: Lauri Tirkkonen <lotheac@iki.fi>
Date: Thu, 17 Jan 2019 04:14:58 +0200
Subject: [PATCH] don't build kernel twice

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index 4d38d06db7..92b4ac4ba1 100644
--- a/Makefile
+++ b/Makefile
@@ -26,8 +26,6 @@ build::
 	${.MAKE}
 	${.MAKE} install
 	${.MAKE} -C lib build32 # special multiarch target
-	${.MAKE} -C kernel all
-	${.MAKE} -C kernel install
 	${.MAKE} -C usr install # dmake expects libs to already be in DESTDIR
 	${.MAKE} -C tools/postbuild clean obj
 	${.MAKE} -C tools/postbuild
-- 
2.11.4.GIT