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