aboutsummaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/Config-devel.in9
1 files changed, 5 insertions, 4 deletions
diff --git a/config/Config-devel.in b/config/Config-devel.in
index 30fbd6f7a9..fd7c3ead1e 100644
--- a/config/Config-devel.in
+++ b/config/Config-devel.in
@@ -90,13 +90,14 @@ menuconfig DEVEL
In this instance, the --reference option of git clone will
be used thus creating a quick local clone of your repo.
- config KERNEL_GIT_BRANCH
- string "Enter git branch to clone" if DEVEL
+ config KERNEL_GIT_REF
+ string "Enter git ref at which to checkout" if DEVEL
depends on (KERNEL_GIT_CLONE_URI != "")
default ""
help
- Enter the branch name to checkout after cloning the git repository.
- In this instance, the --branch option of git clone will be used.
+ Enter the git ref at which to checkout the git repository
+ after it is cloned, and before making it a tar-ball.
+ It can be a git hash or a branch name.
If unused, the clone's repository HEAD will be checked-out.
config BUILD_LOG