|
@@ -48,7 +48,7 @@ $(DL_DIR)/$(LINUX_RT_SOURCE):
|
|
|
$(WGET) -P $(DL_DIR) $(LINUX_RT_SITE)/$(LINUX_RT_SOURCE)
|
|
|
endif
|
|
|
|
|
|
-$(LINUX_HEADERS_UNPACK_DIR)/.unpacked: $(DL_DIR)/$(LINUX_HEADERS_SOURCE)
|
|
|
+$(LINUX_HEADERS_UNPACK_DIR)/.unpacked: $(DL_DIR)/$(LINUX_HEADERS_SOURCE)
|
|
|
@echo "*** Using kernel-headers generated from kernel source"
|
|
|
rm -rf $(LINUX_HEADERS_DIR)
|
|
|
[ -d $(TOOL_BUILD_DIR) ] || $(INSTALL) -d $(TOOL_BUILD_DIR)
|
|
@@ -82,7 +82,7 @@ endif
|
|
|
$(LINUX_HEADERS_DIR)/.configured: $(LINUX_HEADERS_UNPACK_DIR)/.patched
|
|
|
(cd $(LINUX_HEADERS_UNPACK_DIR); \
|
|
|
$(MAKE) ARCH=$(KERNEL_ARCH) \
|
|
|
- HOSTCC="$(HOSTCC)" HOSTCFLAGS="$(HOSTCFLAGS)" \
|
|
|
+ HOSTCC="$(HOSTCC)" HOSTCFLAGS="$(HOSTCFLAGS)" \
|
|
|
HOSTCXX="$(HOSTCXX)" \
|
|
|
INSTALL_HDR_PATH=$(LINUX_HEADERS_DIR) headers_install; \
|
|
|
)
|