firewall: update to latest git HEAD

[openwrt/openwrt.git] / config / Config-devel.in

diff --git a/config/Config-devel.in b/config/Config-devel.in
index 30fbd6f7a9964e08835a9ec7998e06d4f929c7aa..fd7c3ead1e8e6dcb6176216a4509f12845085c0b 100644 (file)
--- 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