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