diff options
author | John Crispin <blogic@openwrt.org> | 2014-04-12 21:21:49 +0000 |
---|---|---|
committer | John Crispin <blogic@openwrt.org> | 2014-04-12 21:21:49 +0000 |
commit | 12bb716ac3dacb9fe835f2adcb23c4234d74003c (patch) | |
tree | 6b15651ee1a9e41fc8e642baaf49116acad14ac3 /tools/Makefile | |
parent | 9f3447fc0e3c5933c2b215bb6298b525404f0283 (diff) | |
download | master-187ad058-12bb716ac3dacb9fe835f2adcb23c4234d74003c.tar.gz master-187ad058-12bb716ac3dacb9fe835f2adcb23c4234d74003c.tar.bz2 master-187ad058-12bb716ac3dacb9fe835f2adcb23c4234d74003c.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>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@40490 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile index 428cf0bedb..75d2b0d892 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -38,6 +38,7 @@ tools-$(CONFIG_TARGET_ar71xx) += lzma-old squashfs tools-y += lzma squashfs4 tools-$(BUILD_B43_TOOLS) += b43-tools tools-$(BUILD_PPL_CLOOG) += ppl cloog +tools-$(CONFIG_USE_SPARSE) += sparse # builddir dependencies $(curdir)/bison/compile := $(curdir)/flex/install |