diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2019-11-03 04:48:50 +0100 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-11-19 16:50:00 +0100 |
| commit | 0739d667644e00075037faa4b17e89f91716e7b4 (patch) | |
| tree | 5cb52912520b44e9ccdbd6ee5f791e5d8679fcf5 /gen_configkernel.sh | |
| parent | resume-boot.sh: Hide kill output (diff) | |
| download | genkernel-0739d667644e00075037faa4b17e89f91716e7b4.tar.gz genkernel-0739d667644e00075037faa4b17e89f91716e7b4.tar.bz2 genkernel-0739d667644e00075037faa4b17e89f91716e7b4.zip | |
gen_configkernel.sh: config_kernel(): Show change of used kernel config already at loglevel 1
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'gen_configkernel.sh')
| -rwxr-xr-x | gen_configkernel.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gen_configkernel.sh b/gen_configkernel.sh index bde9fc53..cb31bf92 100755 --- a/gen_configkernel.sh +++ b/gen_configkernel.sh @@ -166,9 +166,9 @@ config_kernel() { else if ! "${diff_cmd}" -q "${KERNEL_OUTPUTDIR}"/.config "${KERNEL_CONFIG}" >/dev/null then - print_warning 2 "$(get_indent 1)>> Will ignore kernel config from '${KERNEL_CONFIG}'" - print_warning 2 "$(get_indent 1) in favor of already existing but different kernel config" - print_warning 2 "$(get_indent 1) found in '${KERNEL_OUTPUTDIR}/.config' ..." + print_warning 1 "$(get_indent 1)>> Will ignore kernel config from '${KERNEL_CONFIG}'" + print_warning 1 "$(get_indent 1) in favor of already existing but different kernel config" + print_warning 1 "$(get_indent 1) found in '${KERNEL_OUTPUTDIR}/.config' ..." else print_info 3 "$(get_indent 1)>> Can keep using already existing '${KERNEL_OUTPUTDIR}/.config' which is identical to --kernel-config file ..." fi |