diff options
author | Thomas Deutschmann <whissi@gentoo.org> | 2019-07-16 01:30:36 +0200 |
---|---|---|
committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-07-16 01:30:36 +0200 |
commit | 95404d6b022f71c8017d5400e7c47d4a09845433 (patch) | |
tree | ad2dbaf670564aa48f5272063385f4fe7e467a5f /gen_configkernel.sh | |
parent | Adjust LOGLEVEL (diff) | |
download | genkernel-95404d6b022f71c8017d5400e7c47d4a09845433.tar.gz genkernel-95404d6b022f71c8017d5400e7c47d4a09845433.tar.bz2 genkernel-95404d6b022f71c8017d5400e7c47d4a09845433.zip |
gen_configkernel.sh: config_kernel(): No need to re-check required kernel options when config wasn't modified
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'gen_configkernel.sh')
-rwxr-xr-x | gen_configkernel.sh | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/gen_configkernel.sh b/gen_configkernel.sh index ef882505..c37a9cbe 100755 --- a/gen_configkernel.sh +++ b/gen_configkernel.sh @@ -724,20 +724,20 @@ config_kernel() { print_info 1 "$(get_indent 1)>> Running 'make olddefconfig' due to changed kernel options ..." compile_generic olddefconfig kernel 2>/dev/null fi + + print_info 2 "$(get_indent 1)>> Checking if required kernel options are still present ..." + local required_kernel_option= + for required_kernel_option in "${required_kernel_options[@]}" + do + local optval=$(kconfig_get_opt "${KERNEL_OUTPUTDIR}/.config" "${required_kernel_option}") + if [ -z "${optval}" ] + then + gen_die "Something went wrong: Required kernel option '${required_kernel_option}' which genkernel tried to set is missing!" + else + print_info 3 "$(get_indent 2) - '${required_kernel_option}' is set to '${optval}'" + fi + done else print_info 2 "$(get_indent 1)>> genkernel did not need to add/modify any kernel options." fi - - print_info 2 "$(get_indent 1)>> Checking if required kernel options are still present ..." - local required_kernel_option= - for required_kernel_option in "${required_kernel_options[@]}" - do - local optval=$(kconfig_get_opt "${KERNEL_OUTPUTDIR}/.config" "${required_kernel_option}") - if [ -z "${optval}" ] - then - gen_die "Something went wrong: Required kernel option '${required_kernel_option}' which genkernel tried to set is missing!" - else - print_info 3 "$(get_indent 2) - '${required_kernel_option}' is set to '${optval}'" - fi - done } |