Merge pull request #1367 from ZhangHongchen1/check_gawk

kpatch-build: check if gawk exist
This commit is contained in:
Joe Lawrence 2024-01-09 21:32:22 -05:00 committed by GitHub
commit 131747507f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -674,6 +674,10 @@ usage() {
echo " (not recommended)" >&2
}
if ! command -v gawk &> /dev/null; then
die "gawk not installed"
fi
options="$(getopt -o ha:r:s:c:v:j:t:n:o:dR -l "help,archversion:,sourcerpm:,sourcedir:,config:,vmlinux:,jobs:,target:,name:,output:,oot-module:,oot-module-src:,debug,skip-gcc-check,skip-compiler-check,skip-cleanup,non-replace" -- "$@")" || die "getopt failed"
eval set -- "$options"