diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2013-10-17 18:25:40 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2013-10-17 18:25:40 +0200 |
commit | f7ae07959a3de464468de2a07ce9970fedf13931 (patch) | |
tree | 126c478db127503450bfda17553ca7cc146e1968 /toolchain/kernel-headers/patches/3.11.5/cleankernel.patch | |
parent | 841e3f28aa545cbfa02a372e5c9c440834ecdbac (diff) |
refresh raspberry pi config, enable tickless system, update to latest stable kernel
Diffstat (limited to 'toolchain/kernel-headers/patches/3.11.5/cleankernel.patch')
-rw-r--r-- | toolchain/kernel-headers/patches/3.11.5/cleankernel.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/toolchain/kernel-headers/patches/3.11.5/cleankernel.patch b/toolchain/kernel-headers/patches/3.11.5/cleankernel.patch new file mode 100644 index 000000000..d8c055dc3 --- /dev/null +++ b/toolchain/kernel-headers/patches/3.11.5/cleankernel.patch @@ -0,0 +1,11 @@ +diff -Nur linux-3.11.5.orig/scripts/Makefile.headersinst linux-3.11.5/scripts/Makefile.headersinst +--- linux-3.11.5.orig/scripts/Makefile.headersinst 2013-10-14 03:14:45.000000000 +0200 ++++ linux-3.11.5/scripts/Makefile.headersinst 2013-10-15 16:33:10.000000000 +0200 +@@ -107,7 +107,6 @@ + + targets += $(install-file) + $(install-file): scripts/headers_install.sh $(input-files1) $(input-files2) $(input-files3) FORCE +- $(if $(unwanted),$(call cmd,remove),) + $(if $(wildcard $(dir $@)),,$(shell mkdir -p $(dir $@))) + $(call if_changed,install) + |