From 1d3a067e85b1ecbaad720343550938663bcf0745 Mon Sep 17 00:00:00 2001
From: Wolfram Schneider <wosch@FreeBSD.org>
Date: Sat, 16 Mar 2019 20:02:57 +0000
Subject: [PATCH] `make buildkernel' should display the build time in seconds

PR:		224433
Approved by:	cem
Differential Revision:	https://reviews.freebsd.org/D13910
---
 Makefile.inc1 | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Makefile.inc1 b/Makefile.inc1
index 1d2c28bb463c..cf0607b96d07 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1584,6 +1584,11 @@ _cleankernobj_fast_depend_hack: .PHONY
 
 ${WMAKE_TGTS:N_worldtmp:Nbuild${libcompat}} ${.ALLTARGETS:M_*:N_worldtmp}: .MAKE .PHONY
 
+# record kernel(s) build time in seconds
+.if make(buildkernel)
+_BUILDKERNEL_START!= date '+%s'
+.endif
+
 #
 # buildkernel
 #
@@ -1640,7 +1645,12 @@ buildkernel: .MAKE .PHONY
 	@echo "--------------------------------------------------------------"
 	@echo ">>> Kernel build for ${_kernel} completed on `LC_ALL=C date`"
 	@echo "--------------------------------------------------------------"
+	
 .endfor
+	@seconds=$$(($$(date '+%s') - ${_BUILDKERNEL_START})); \
+	  echo -n ">>> Kernel(s) build for${BUILDKERNELS} in $$seconds seconds, "; \
+	  echo "ncpu: $$(sysctl -n hw.ncpu)${.MAKE.JOBS:S/^/, make -j/}"
+	@echo "--------------------------------------------------------------"
 
 NO_INSTALLEXTRAKERNELS?=	yes