zygo: build-kernel: time the build

diff --git a/zygo/build-kernel b/zygo/build-kernel
index 9a20dcdea1feb028b03c4d7d8f98b767023a3911..8fd6803f28d6085d3563e7af228193c52432932d 100755 (executable)
--- a/zygo/build-kernel
+++ b/zygo/build-kernel
@@ -38,9 +38,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