diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2020-08-01 15:48:43 +0200 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2020-08-01 22:35:00 +0200 |
| commit | c8624437130d318d93596453d0057f8fdfbe1ed2 (patch) | |
| tree | 0cebf1236b99fe28daf6c4693b3af9349ccbe881 /gen_configkernel.sh | |
| parent | genkernel: Move grep/zgrep check to determine_real_args() (diff) | |
| download | genkernel-c8624437130d318d93596453d0057f8fdfbe1ed2.tar.gz genkernel-c8624437130d318d93596453d0057f8fdfbe1ed2.tar.bz2 genkernel-c8624437130d318d93596453d0057f8fdfbe1ed2.zip | |
Unify 'confgrep' handling via new get_grep_cmd_for_file() function
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'gen_configkernel.sh')
| -rwxr-xr-x | gen_configkernel.sh | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/gen_configkernel.sh b/gen_configkernel.sh index ba6d401..666f525 100755 --- a/gen_configkernel.sh +++ b/gen_configkernel.sh @@ -16,14 +16,8 @@ determine_kernel_config_file() { gen_die "--kernel-config file '${KERNEL_CONFIG}' does not exist!" fi - if isTrue "$(is_gzipped "${KERNEL_CONFIG}")" - then - local CONFGREP=zgrep - else - local CONFGREP=grep - fi - - if ! ${CONFGREP} -qE '^CONFIG_.*=' "${KERNEL_CONFIG}" &>/dev/null + local confgrep_cmd=$(get_grep_cmd_for_file "${KERNEL_CONFIG}") + if ! "${confgrep_cmd}" -qE '^CONFIG_.*=' "${KERNEL_CONFIG}" &>/dev/null then gen_die "--kernel-config file '${KERNEL_CONFIG}' does not look like a valid kernel config: File does not contain any CONFIG_* value!" fi |