[openwrt/openwrt] toolchain: kernel-headers: kernel Git tree mirror hash

[LEDE Commits]

ynezz pushed a commit to openwrt/openwrt.git, branch master:
https://git.openwrt.org/796d51834c5be85771d26e433fd509cd3bef72e3

commit 796d51834c5be85771d26e433fd509cd3bef72e3
Author: Petr Štetiar <ynezz at true.cz>
AuthorDate: Sat Nov 21 15:59:50 2020 +0100

    toolchain: kernel-headers: kernel Git tree mirror hash
    
    Allow setting of mirror hash for Git kernel tree.
    
    Signed-off-by: Petr Štetiar <ynezz at true.cz>
---
 config/Config-devel.in            | 5 +++++
 toolchain/kernel-headers/Makefile | 1 +
 2 files changed, 6 insertions(+)

diff --git a/config/Config-devel.in b/config/Config-devel.in
index 6447a79db2..21e15f16dc 100644
--- a/config/Config-devel.in
+++ b/config/Config-devel.in
@@ -107,6 +107,11 @@ menuconfig DEVEL
 		  It can be a git hash or a branch name.
 		  If unused, the clone's repository HEAD will be checked-out.
 
+	config KERNEL_GIT_MIRROR_HASH
+		string "Enter hash of Git kernel tree source checkout tarball" if DEVEL
+		depends on (KERNEL_GIT_CLONE_URI != "")
+		default ""
+
 	config BUILD_LOG
 		bool "Enable log files during build process" if DEVEL
 		help
diff --git a/toolchain/kernel-headers/Makefile b/toolchain/kernel-headers/Makefile
index 1bc650dc3c..eea0ffbde0 100644
--- a/toolchain/kernel-headers/Makefile
+++ b/toolchain/kernel-headers/Makefile
@@ -21,6 +21,7 @@ ifneq ($(call qstrip,$(CONFIG_KERNEL_GIT_CLONE_URI)),)
   PKG_SOURCE_PROTO:=git
   PKG_SOURCE_URL:=$(call qstrip,$(CONFIG_KERNEL_GIT_CLONE_URI))
   PKG_SOURCE_VERSION:=$(call qstrip,$(CONFIG_KERNEL_GIT_REF))
+  PKG_MIRROR_HASH:=$(call qstrip,$(CONFIG_KERNEL_GIT_MIRROR_HASH))
 ifdef CHECK
   include $(INCLUDE_DIR)/kernel-version.mk
   PKG_VERSION:=$(LINUX_VERSION)