diff options
| -rw-r--r-- | linux-core/Makefile | 4 | ||||
| -rw-r--r-- | linux/Makefile | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/linux-core/Makefile b/linux-core/Makefile index 066766a7..1bb131d8 100644 --- a/linux-core/Makefile +++ b/linux-core/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 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 |