diff options
Diffstat (limited to 'config/Config-devel.in')
| -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 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 |