diff options
Diffstat (limited to 'toolchain/kernel-headers')
-rw-r--r-- | toolchain/kernel-headers/patches/3.10.30/headers-install.patch | 11 | ||||
-rw-r--r-- | toolchain/kernel-headers/patches/3.10.30/headers-install.patch.REMOVED.git-id | 1 |
2 files changed, 1 insertions, 11 deletions
diff --git a/toolchain/kernel-headers/patches/3.10.30/headers-install.patch b/toolchain/kernel-headers/patches/3.10.30/headers-install.patch deleted file mode 100644 index 46dc9fe13..000000000 --- a/toolchain/kernel-headers/patches/3.10.30/headers-install.patch +++ /dev/null @@ -1,11 +0,0 @@ -diff -Nur linux-3.10.37.orig/scripts/Makefile.headersinst linux-3.10.37/scripts/Makefile.headersinst ---- linux-3.10.37.orig/scripts/Makefile.headersinst 2014-04-14 15:42:31.000000000 +0200 -+++ linux-3.10.37/scripts/Makefile.headersinst 2014-04-24 17:04:51.980248954 +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) - diff --git a/toolchain/kernel-headers/patches/3.10.30/headers-install.patch.REMOVED.git-id b/toolchain/kernel-headers/patches/3.10.30/headers-install.patch.REMOVED.git-id new file mode 100644 index 000000000..4df6175af --- /dev/null +++ b/toolchain/kernel-headers/patches/3.10.30/headers-install.patch.REMOVED.git-id @@ -0,0 +1 @@ +59f07218927de0489d346017a1935bbf2df55634
\ No newline at end of file |