From c80a5c4c6e4e6467261290ef2257b00132349989 Mon Sep 17 00:00:00 2001 From: "Jordan K. Hubbard" Date: Sun, 21 Jan 2001 23:44:41 +0000 Subject: [PATCH] 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. --- Makefile.inc1 | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 96cefb4fda68..c7fdc79dcc3b 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -392,10 +392,10 @@ buildkernel: @false .endif @echo - @echo "--------------------------------------------------------------" - @echo ">>> Rebuilding kernel(s)" - @echo "--------------------------------------------------------------" .for _kernel in ${BUILDKERNELS} + @echo "--------------------------------------------------------------" + @echo ">>> Kernel build for ${_kernel} started on `LC_TIME=C date`" + @echo "--------------------------------------------------------------" @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 #