diff options
| author | Thomas De Schampheleire <patrickdepinguin+buildroot@gmail.com> | 2012-03-14 17:50:59 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-04-05 18:19:54 +0200 |
| commit | 6a996469e270f76e663004c6f448dee08c801ad6 (patch) | |
| tree | e36e38068597722e5b95cdf89d7115fa63c085d8 /package/rpm | |
| parent | eae71e805c57f2cc30291d0680b396a4e5cb9d33 (diff) | |
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>
Diffstat (limited to 'package/rpm')
0 files changed, 0 insertions, 0 deletions