diff --git a/resources/hiding_ci/build_and_install_kernel.sh b/resources/hiding_ci/build_and_install_kernel.sh index dc5095cabfe..e9be6b6da6c 100755 --- a/resources/hiding_ci/build_and_install_kernel.sh +++ b/resources/hiding_ci/build_and_install_kernel.sh @@ -90,6 +90,15 @@ apply_patch_or_series() { esac } +check_new_config() { + if [[ -e "/boot/config-$KERNEL_VERSION" ]]; then + return 0; + fi + + echo "Storing new config in /boot/config-$KERNEL_VERSION" + cp .config /boot/config-$KERNEL_VERSION +} + check_override_presence() { while IFS= read -r line; do if ! grep -Fq "$line" .config; then @@ -209,6 +218,8 @@ make INSTALL_MOD_STRIP=1 install update_boot_config +check_new_config + echo "Kernel built and installed successfully!" tidy_up