From 796d51834c5be85771d26e433fd509cd3bef72e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20=C5=A0tetiar?= Date: Sat, 21 Nov 2020 15:59:50 +0100 Subject: toolchain: kernel-headers: kernel Git tree mirror hash MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Allow setting of mirror hash for Git kernel tree. Signed-off-by: Petr Štetiar --- config/Config-devel.in | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'config') 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 -- cgit v1.2.3