-# 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)"
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