From 02ffc075e4d26d8e6107e3109ad3e6d3b2b64ff7 Mon Sep 17 00:00:00 2001 From: Adam Rutkowski Date: Mon, 16 Nov 2020 17:47:50 -0600 Subject: [PATCH] configure: only check for kernel headers when no kernel source configure should not fail if kernel devel package is missing when user is calling configure with explicit path to kernel source (specified via KELRNEL_DIR environment variable). Signed-off-by: Adam Rutkowski --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index baaa5dc..7a901fc 100755 --- a/configure +++ b/configure @@ -42,7 +42,7 @@ if [ "$SUBMODULES_MISSING" ]; then MISSING_TOOLS=1 fi -if [ ! -e /lib/modules/$(uname -r)/build/ &> /dev/null ] +if [ ! -e /lib/modules/$(uname -r)/build/ &> /dev/null ] && [ "$KERNEL_DIR" == "" ] then echo >&2 "Error: missing kernel headers and/or kernel devel" MISSING_TOOLS=1