-# 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
help
Compiler cache; see https://ccache.samba.org/
+ config CCACHE_DIR
+ string "Set ccache directory" if CCACHE
+ default ""
+ help
+ Store ccache in this directory.
+ If not set, uses './.ccache'
+
config EXTERNAL_KERNEL_TREE
string "Use external kernel tree" if DEVEL
default ""
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