diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2012-01-13 09:28:16 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2012-01-13 09:28:16 +0100 |
| commit | 7a00472067403ebe1cfbedbfabfde03cc19c9c34 (patch) | |
| tree | 3adafccd2d60e8520e76fcef4564c2298338e56f /registry/tools | |
| parent | d5bd33427f73d01d59e6021c7436d98d8c9fffd2 (diff) | |
Better fix for the valgrind.log problem.
Only redirect to valgrind.log if --valgrind but not $VALGRIND is given.
Diffstat (limited to 'registry/tools')
0 files changed, 0 insertions, 0 deletions