diff options
Diffstat (limited to 'drivers/gator/Makefile')
| -rw-r--r-- | drivers/gator/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/gator/Makefile b/drivers/gator/Makefile index 5dadbacb30f4..7b877532b24b 100644 --- a/drivers/gator/Makefile +++ b/drivers/gator/Makefile @@ -3,6 +3,7 @@ ifneq ($(KERNELRELEASE),) # Uncomment the following line to enable kernel stack unwinding within gator, or update gator_backtrace.c # EXTRA_CFLAGS += -DGATOR_KERNEL_STACK_UNWINDING +CONFIG_GATOR ?= m obj-$(CONFIG_GATOR) := gator.o gator-y := gator_main.o \ |