valgrind: allow selecting which tools to install
authorThomas De Schampheleire <patrickdepinguin+buildroot@gmail.com>
Wed, 14 Mar 2012 16:50:59 +0000 (17:50 +0100)
committerPeter Korsgaard <jacmet@sunsite.dk>
Thu, 5 Apr 2012 16:19:54 +0000 (18:19 +0200)
commit6a996469e270f76e663004c6f448dee08c801ad6
treee36e38068597722e5b95cdf89d7115fa63c085d8
parenteae71e805c57f2cc30291d0680b396a4e5cb9d33
valgrind: allow selecting which tools to install

The full valgrind installation takes more than 20 MB, while one typically does
not use all of its tools. This patch adds extra config options to select which
tools to install.

[Peter: Don't default experimental tools to 'y' as suggested by Arnout]
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Acked-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
package/valgrind/Config.in
package/valgrind/valgrind.mk