diff options
-rw-r--r-- | linux/Makefile.linux | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/linux/Makefile.linux b/linux/Makefile.linux index 2b3ccab7..b91d5984 100644 --- a/linux/Makefile.linux +++ b/linux/Makefile.linux @@ -70,12 +70,20 @@ VERSION := $(shell uname -r) A := /usr/src/linux-$(VERSION)/include B := /usr/src/linux/include C := /usr/include +# This detection seems to be broken. +#TREE := $(shell \ +# if grep -q $(VERSION) $A/linux/version.h; then echo $A; \ +# elif grep -q $(VERSION) $B/linux/version.h; then echo $B; \ +# elif grep -q $(VERSION) $C/linux/version.h; then echo $C; \ +# else echo 0; fi) +# I'm simplifying it TREE := $(shell \ - if grep -q $(VERSION) $A/linux/version.h; then echo $A; \ - elif grep -q $(VERSION) $B/linux/version.h; then echo $B; \ - elif grep -q $(VERSION) $C/linux/version.h; then echo $C; \ + if [ -d $A ] ; then echo $A; \ + elif [ -d $B ] ; then echo $B; \ + elif [ -d $C ] ; then echo $C; \ else echo 0; fi) + ifeq "$TREE" "0" all:; echo Error: Could not locate kernel tree else |