aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--config/Config-devel.in5
-rw-r--r--toolchain/kernel-headers/Makefile1
2 files changed, 6 insertions, 0 deletions
diff --git a/config/Config-devel.in b/config/Config-devel.in
index fd7c3ead1e..1c514f86d4 100644
--- a/config/Config-devel.in
+++ b/config/Config-devel.in
@@ -100,6 +100,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 1da1946a14..6931881493 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)