Also add some timing information for kernel builds so that it's

easy to do "make world kernel |grep -e '^>>>'" and get a complete
event log.

1 files changed, 5 insertions, 2 deletions

diff --git a/Makefile.inc1 b/Makefile.inc1
index 96cefb4..c7fdc79 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -392,10 +392,10 @@ buildkernel:
 	@false
 .endif
 	@echo
+.for _kernel in ${BUILDKERNELS}
 	@echo "--------------------------------------------------------------"
-	@echo ">>> Rebuilding kernel(s)"
+	@echo ">>> Kernel build for ${_kernel} started on `LC_TIME=C date`"
 	@echo "--------------------------------------------------------------"
-.for _kernel in ${BUILDKERNELS}
 	@echo "===> ${_kernel}"
 	mkdir -p ${KRNLOBJDIR}
 .if !defined(NO_KERNELCONFIG)
@@ -412,6 +412,9 @@ buildkernel:
 .endif
 	cd ${KRNLOBJDIR}/${_kernel}; \
 	    ${WMAKEENV} MACHINE=${MACHINE} ${MAKE} KERNEL=${INSTKERNNAME} all
+	@echo "--------------------------------------------------------------"
+	@echo ">>> Kernel build for ${_kernel} completed on `LC_TIME=C date`"
+	@echo "--------------------------------------------------------------"
 .endfor
 
 #