[RISCV_TBI] use proper kernel headers

6 years ago · 40f242e62b
1 changed files with 4 additions and 0 deletions
--- a/Makefile.in
+++ b/Makefile.in
@ -159,7 +159,11 @@ stamps/check-write-permission:

 stamps/build-linux-headers:
 	mkdir -p $(SYSROOT)/usr/
+ifdef LINUX_HEADERS_SRCDIR
+	cp -a $(LINUX_HEADERS_SRCDIR) $(SYSROOT)/usr/
+else
 	cp -a $(srcdir)/linux-headers/include $(SYSROOT)/usr/
+endif
 	mkdir -p $(dir $@) && touch $@