summaryrefslogtreecommitdiff
path: root/toolchain/kernel-headers/kernel-headers-old.makefile
diff options
context:
space:
mode:
authorUlf Samuelsson <ulf.samuelsson@atmel.com>2007-08-19 22:01:27 +0000
committerUlf Samuelsson <ulf.samuelsson@atmel.com>2007-08-19 22:01:27 +0000
commit3978c675708a217ea9c390c84cc890d383253980 (patch)
tree08e9b1d7767335e96e304d7565fa2cfd52f86e0c /toolchain/kernel-headers/kernel-headers-old.makefile
parentcdb7c0167baa2bdaef34aa1049c77232877007a0 (diff)
Make ipmi kernelpatch selectable, add possibility for custom kernel patch
Diffstat (limited to 'toolchain/kernel-headers/kernel-headers-old.makefile')
-rw-r--r--toolchain/kernel-headers/kernel-headers-old.makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/toolchain/kernel-headers/kernel-headers-old.makefile b/toolchain/kernel-headers/kernel-headers-old.makefile
index 6b490cab1..b510ac793 100644
--- a/toolchain/kernel-headers/kernel-headers-old.makefile
+++ b/toolchain/kernel-headers/kernel-headers-old.makefile
@@ -107,6 +107,7 @@ endif
ifeq ($(LINUX_HEADERS_IS_KERNEL),n)
$(LINUX_HEADERS_UNPACK_DIR)/.unpacked: $(DL_DIR)/$(LINUX_HEADERS_SOURCE)
+ @echo "Using old sanitized kernel-headers"
rm -rf $(LINUX_HEADERS_DIR)
$(LINUX_HEADERS_CAT) $(DL_DIR)/$(LINUX_HEADERS_SOURCE) | tar -C $(TOOL_BUILD_DIR) $(TAR_OPTIONS) -
ifneq ($(LINUX_HEADERS_UNPACK_DIR),$(LINUX_HEADERS_DIR))