diff --git a/configure b/configure index 876c3c46b7..1d313bbe8c 100755 --- a/configure +++ b/configure @@ -19027,8 +19027,14 @@ fi; echo "$as_me:$LINENO: checking kernel source directory" >&5 echo $ECHO_N "checking kernel source directory... $ECHO_C" >&6 if test -z "$kernelsrc"; then - sourcelink=`ls -1d /usr/src/kernels/* /usr/src/linux-* \ - 2>/dev/null | grep -v obj | tail -1` + headersdir="/lib/modules/$(uname -r)/build" + if test -e "$headersdir"; then + sourcelink=$(readlink -f "$headersdir") + else + sourcelink=$(ls -1d /usr/src/kernels/* \ + /usr/src/linux-* \ + 2>/dev/null | grep -v obj | tail -1) + fi if test -e $sourcelink; then kernelsrc=`readlink -f ${sourcelink}` @@ -21738,8 +21744,14 @@ fi; echo "$as_me:$LINENO: checking kernel source directory" >&5 echo $ECHO_N "checking kernel source directory... $ECHO_C" >&6 if test -z "$kernelsrc"; then - sourcelink=`ls -1d /usr/src/kernels/* /usr/src/linux-* \ - 2>/dev/null | grep -v obj | tail -1` + headersdir="/lib/modules/$(uname -r)/build" + if test -e "$headersdir"; then + sourcelink=$(readlink -f "$headersdir") + else + sourcelink=$(ls -1d /usr/src/kernels/* \ + /usr/src/linux-* \ + 2>/dev/null | grep -v obj | tail -1) + fi if test -e $sourcelink; then kernelsrc=`readlink -f ${sourcelink}`