aboutsummaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
authorJohn Crispin <john@openwrt.org>2014-04-12 21:21:49 +0000
committerJohn Crispin <john@openwrt.org>2014-04-12 21:21:49 +0000
commit76133009c90284c6c0eab59207f01980a3222213 (patch)
tree3225ab99d9d57b5de3be77190f5a9ade3949ee0b /config
parent72803e0e27ec149784ff22ee528a7c11c6eefed1 (diff)
downloadupstream-76133009c90284c6c0eab59207f01980a3222213.tar.gz
upstream-76133009c90284c6c0eab59207f01980a3222213.tar.bz2
upstream-76133009c90284c6c0eab59207f01980a3222213.zip
sparse: add as a new package selectable from the config
This change does multiple things, all related to enable sparse usage as a static analysis tool selectable from the OpenWrt configuration: *add a KERNEL_SPARSE option in the config to add sparse to the kernel build (through the C=1 option usage) *add sparse as a new host tools. It will get selected automatically when the above option will be enabled Signed-off-by: Mathieu Olivari <mathieu@qca.qualcomm.com> SVN-Revision: 40490
Diffstat (limited to 'config')
-rw-r--r--config/Config-kernel.in4
1 files changed, 4 insertions, 0 deletions
diff --git a/config/Config-kernel.in b/config/Config-kernel.in
index a475e9aae2..dd83cf9e7c 100644
--- a/config/Config-kernel.in
+++ b/config/Config-kernel.in
@@ -144,6 +144,10 @@ config USE_RFKILL
bool "Enable rfkill support"
default RFKILL_SUPPORT
+config USE_SPARSE
+ bool "Enable sparse check during kernel build"
+ default n
+
#
# CGROUP support symbols
#