diff options
| author | Petr Štetiar <ynezz@true.cz> | 2020-11-21 15:59:50 +0100 |
|---|---|---|
| committer | Petr Štetiar <ynezz@true.cz> | 2020-11-27 14:46:13 +0100 |
| commit | 796d51834c5be85771d26e433fd509cd3bef72e3 (patch) | |
| tree | 70bb1475a6f862a7a81653bf0a64d9ded842efdf /config | |
| parent | bb7ba6b6a81d1fb7ac6075edfd8e8b713dd61db2 (diff) | |
| download | upstream-796d51834c5be85771d26e433fd509cd3bef72e3.tar.gz upstream-796d51834c5be85771d26e433fd509cd3bef72e3.tar.bz2 upstream-796d51834c5be85771d26e433fd509cd3bef72e3.zip | |
toolchain: kernel-headers: kernel Git tree mirror hash
Allow setting of mirror hash for Git kernel tree.
Signed-off-by: Petr Štetiar <ynezz@true.cz>
Diffstat (limited to 'config')
| -rw-r--r-- | config/Config-devel.in | 5 |
1 files changed, 5 insertions, 0 deletions
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 |