Merge pull request #572 from arutk/configure_kernel_dir

configure: only check for kernel headers when no kernel source
This commit is contained in:
Robert Baldyga 2020-12-23 13:34:04 +01:00 committed by GitHub
commit 520fbc9c17
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
configure vendored
View File

@ -42,7 +42,7 @@ if [ "$SUBMODULES_MISSING" ]; then
MISSING_TOOLS=1 MISSING_TOOLS=1
fi fi
if [ ! -e /lib/modules/$(uname -r)/build/ &> /dev/null ] if [ ! -e /lib/modules/$(uname -r)/build/ &> /dev/null ] && [ "$KERNEL_DIR" == "" ]
then then
echo >&2 "Error: missing kernel headers and/or kernel devel" echo >&2 "Error: missing kernel headers and/or kernel devel"
MISSING_TOOLS=1 MISSING_TOOLS=1