Commit 0ac4cc31 authored by Brian Kocoloski's avatar Brian Kocoloski

update makefile to use LINUX_KERN rather than KERN_PATH, to be consistent with our other modules

parent 008b63c5
#KERN_PATH=/usr/src/kernels/`uname -r`
KERN_PATH?=/lib/modules/`uname -r`/build/
#LINUX_KERN=/usr/src/kernels/`uname -r`
LINUX_KERN?=/lib/modules/`uname -r`/build/
......@@ -86,17 +86,17 @@ KBUILD_EXTRA_SYMBOLS += $(PETLIB_PATH)/petos/Module.symvers
# All default targets must be invoked via a call to make
all: version
make build_setup
make -C $(KERN_PATH) M=$(PWD) modules
make -C $(LINUX_KERN) M=$(PWD) modules
make -C linux_usr/ PETLIB_PATH=$(PETLIB_PATH) $(USR_FLAGS)
version: version.c
gcc -I$(KERN_PATH)/include -I$(KERN_PATH)/include/generated/uapi version.c -o $(VERSION_CMD)
gcc -I$(LINUX_KERN)/include -I$(LINUX_KERN)/include/generated/uapi version.c -o $(VERSION_CMD)
ln -sf $(TRAMPOLINE_TGT) src/trampoline
make -C $(KERN_PATH) M=$(PWD) clean
make -C $(LINUX_KERN) M=$(PWD) clean
make -C linux_usr/ clean
rm -f $(shell find src/ -name "*.o")
rm -f $(VERSION_CMD) src/trampoline
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment