config: fix ARM64 dependency check

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

diff --git a/config/Config-devel.in b/config/Config-devel.in
index 938f0b3c9cd9cebe79c35b1ca818c95d4b693d2d..fd7c3ead1e8e6dcb6176216a4509f12845085c0b 100644 (file)
--- a/config/Config-devel.in
+++ b/config/Config-devel.in
@@ -39,6 +39,14 @@ menuconfig DEVEL
                help
                  Automatically rebuild packages when their files change.
 
+       config AUTOREMOVE
+               bool "Automatic removal of build directories" if DEVEL
+               default n
+               help
+                 Automatically delete build directories after make target completed.
+                 This allows you to symlink build_dir into a scratch location, e.g. a ramdisk,
+                 which does not have enough space to keep a complete build_dir.
+
        config BUILD_SUFFIX
                string "Build suffix to append to the target BUILD_DIR variable" if DEVEL
                default ""
@@ -59,7 +67,7 @@ menuconfig DEVEL
                bool "Use ccache" if DEVEL
                default n
                help
-                 Compiler cache; see http://ccache.samba.org/.
+                 Compiler cache; see https://ccache.samba.org/
 
        config EXTERNAL_KERNEL_TREE
                string "Use external kernel tree" if DEVEL
@@ -82,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