diff options
| author | Chris Wilson <chris@chris-wilson.co.uk> | 2009-05-25 21:15:22 +0100 |
|---|---|---|
| committer | Chris Wilson <chris@chris-wilson.co.uk> | 2009-05-25 22:14:56 +0100 |
| commit | e4efc80b8e89b05afc22d74f984f4ec9012bc39b (patch) | |
| tree | 7ab4cefd99e732e52419822839f6ba7317977f6c /COPYING-MPL-1.1 | |
| parent | d840deb57b51236820dc8c320ecd7540973de873 (diff) | |
[build] Make valgrind support user-configurable
As the number of places where we add valgrind client requests grows, it
becomes imperative that we should be able to disable them with a simple
configure time option.
Diffstat (limited to 'COPYING-MPL-1.1')
0 files changed, 0 insertions, 0 deletions