treewide: fix spelling 'seperate' -> 'separate'

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

diff --git a/config/Config-devel.in b/config/Config-devel.in
index 11741c70708d1da820ccce714e91eae8af6dd9d3..126462bfc3a0a12324b3ac38614c4f94638d0115 100644 (file)
--- a/config/Config-devel.in
+++ b/config/Config-devel.in
@@ -1,15 +1,13 @@
-# Copyright (C) 2006-2013 OpenWrt.org
-#
-# This is free software, licensed under the GNU General Public License v2.
-# See /LICENSE for more information.
+# SPDX-License-Identifier: GPL-2.0-only
 #
+# Copyright (C) 2006-2013 OpenWrt.org
 
 menuconfig DEVEL
        bool "Advanced configuration options (for developers)"
        default n
 
        config BROKEN
-               bool "Show broken platforms / packages" if DEVEL
+               bool "Show broken platforms / packages / devices" if DEVEL
                default n
 
        config BINARY_FOLDER
@@ -107,6 +105,11 @@ menuconfig DEVEL
                  It can be a git hash or a branch name.
                  If unused, the clone's repository HEAD will be checked-out.
 
+       config KERNEL_GIT_MIRROR_HASH
+               string "Enter hash of Git kernel tree source checkout tarball" if DEVEL
+               depends on (KERNEL_GIT_CLONE_URI != "")
+               default ""
+
        config BUILD_LOG
                bool "Enable log files during build process" if DEVEL
                help