From 42829802e846e4912684f5733bd016608ac51c55 2016-09-20 13:41:16
From: Michal Svamberg <svamberg@civ.zcu.cz>
Date: 2016-09-20 13:41:16
Subject: [PATCH] Prepare kernel for module compilation (ex. dkms)

---

diff --git a/bootstrap.d/13-kernel.sh b/bootstrap.d/13-kernel.sh
index f2e0b40..2eee343 100644
--- a/bootstrap.d/13-kernel.sh
+++ b/bootstrap.d/13-kernel.sh
@@ -133,6 +133,10 @@ if [ "$BUILD_KERNEL" = true ] ; then
   # Remove kernel sources
   if [ "$KERNEL_REMOVESRC" = true ] ; then
     rm -fr "${KERNEL_DIR}"
+  else
+    make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" mrproper
+    make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" oldconfig
+    make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" modules_prepare
   fi
 
   if [ -n "$RPI_FIRMWARE_DIR" ] && [ -d "$RPI_FIRMWARE_DIR" ] ; then