rules: linux: update rpi kernel version to 4.14.

This commit is contained in:
Pedro Gonçalves
2018-12-12 14:28:41 +00:00
parent 2b96c6f84a
commit f5cb62393d
2 changed files with 16 additions and 9 deletions

View File

@@ -201,11 +201,18 @@ target_install()
DEPMOD="$cfg_dir_toolchain/sbin/depmod" \
modules_install
$cmd_make \
CROSS_COMPILE="$cfg_target_canonical-" \
ARCH="$cfg_target_linux" \
INSTALL_MOD_PATH="$cfg_dir_rootfs/usr" \
KBUILD_VERBOSE=1 \
DEPMOD="$cfg_dir_toolchain/sbin/depmod" \
firmware_install
echo $cfg_sys_family
if [[ $cfg_sys_family == *rpi* ]]; then
echo "RPI family, no need of firmware_install"
sleep 2
else
sleep 2
$cmd_make \
CROSS_COMPILE="$cfg_target_canonical-" \
ARCH="$cfg_target_linux" \
INSTALL_MOD_PATH="$cfg_dir_rootfs/usr" \
KBUILD_VERBOSE=1 \
DEPMOD="$cfg_dir_toolchain/sbin/depmod" \
firmware_install
fi
}