zygo: build-kernel: time the build

diff --git a/zygo/build-kernel b/zygo/build-kernel
index ced39dadeff90bafdbef0c63ff48f7b3e3547e5d..22ce0839ac7ffc14a13edd9b2fc9149f09d6956c 100755 (executable)
--- a/zygo/build-kernel
+++ b/zygo/build-kernel
@@ -37,9 +37,9 @@ fi
 cpuCount="$(grep -c '^processor' /proc/cpuinfo || echo 1)"
 
 if [ -n "$NO_MODULES" ]; then
-       make -j$((cpuCount*2)) "$@" EXTRAVERSION="$EXTRAVERSION" bzImage scripts_gdb || exit $?
+       time make -j$((cpuCount*2)) "$@" EXTRAVERSION="$EXTRAVERSION" bzImage scripts_gdb || exit $?
 else
-       make -j$((cpuCount*2)) "$@" EXTRAVERSION="$EXTRAVERSION" bzImage modules scripts_gdb \
+       time make -j$((cpuCount*2)) "$@" EXTRAVERSION="$EXTRAVERSION" bzImage modules scripts_gdb \
                INSTALL_MOD_PATH="$(realpath ../root)" modules_install || exit $?
 fi