diff --git a/configure b/configure index 1d313bbe8c..b17cf86c76 100755 --- a/configure +++ b/configure @@ -19155,6 +19155,10 @@ echo $ECHO_N "checking spl source directory... $ECHO_C" >&6 sourcelink=`ls -1d /usr/src/spl-*/${LINUX_VERSION} \ 2>/dev/null | tail -1` + if test -z "$sourcelink" || test ! -e $sourcelink; then + sourcelink=../spl + fi + if test -e $sourcelink; then splsrc=`readlink -f ${sourcelink}` else @@ -21872,6 +21876,10 @@ echo $ECHO_N "checking spl source directory... $ECHO_C" >&6 sourcelink=`ls -1d /usr/src/spl-*/${LINUX_VERSION} \ 2>/dev/null | tail -1` + if test -z "$sourcelink" || test ! -e $sourcelink; then + sourcelink=../spl + fi + if test -e $sourcelink; then splsrc=`readlink -f ${sourcelink}` else