diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Makefile | 4 | 
1 files changed, 3 insertions, 1 deletions
| diff --git a/linux/Makefile b/linux/Makefile index 066766a7..1bb131d8 100644 --- a/linux/Makefile +++ b/linux/Makefile @@ -38,7 +38,9 @@ SHELL=/bin/sh  ifndef LINUXDIR  RUNNING_REL := $(shell uname -r) -LINUXDIR := /lib/modules/$(RUNNING_REL)/build +LINUXDIR := $(shell if [ -e /lib/modules/$(RUNNING_REL)/source ]; then \ +		 echo /lib/modules/$(RUNNING_REL)/source; \ +		 else echo /lib/modules/$(RUNNING_REL)/build; fi)  endif  ifndef O | 
