[Buildroot] [PATCH] valgrind: allow selecting which tools to install

[Peter Korsgaard]

>>>>> "Thomas" == Thomas De Schampheleire <patrickdepinguin+buildroot at gmail.com> writes:

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

Committed with Arnout's suggestion to not default the experimental tools
to 'y' - Thanks.

-- 
Bye, Peter Korsgaard