diff options
| author | John Crispin <blogic@openwrt.org> | 2014-06-02 12:45:22 +0000 |
|---|---|---|
| committer | John Crispin <blogic@openwrt.org> | 2014-06-02 12:45:22 +0000 |
| commit | 059736734825e8834b9b72e2725a4d7a01644e92 (patch) | |
| tree | 934d69a0e086a16b9760ebada038440af36c7659 /config | |
| parent | eeb79d7591215bfe2196a072db019f50f5f9c78b (diff) | |
| download | upstream-059736734825e8834b9b72e2725a4d7a01644e92.tar.gz upstream-059736734825e8834b9b72e2725a4d7a01644e92.tar.bz2 upstream-059736734825e8834b9b72e2725a4d7a01644e92.zip | |
include: Allow git kernel branch selection
This allows the selection of a specific branch in the menuconfig
when using a kernel downloaded from GIT.
Signed-off-by: Mathieu Olivari <mathieu@qca.qualcomm.com>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@40946 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'config')
| -rw-r--r-- | config/Config-devel.in | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/config/Config-devel.in b/config/Config-devel.in index fd57bcbccd..09311751b4 100644 --- a/config/Config-devel.in +++ b/config/Config-devel.in @@ -62,6 +62,24 @@ menuconfig DEVEL This will create a git clone of the kernel in your build directory. + config KERNEL_GIT_LOCAL_REPOSITORY + string "Enter path to local reference repository" if DEVEL + depends on (KERNEL_GIT_CLONE_URI != "") + default "" + help + Enter a full pathname to a local reference git repository. + In this instance, the --refererence 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 + 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. + If unused, the clone's repository HEAD will be checked-out. + config BUILD_LOG bool "Enable log files during build process" if DEVEL help |