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 /sdext/inc | |
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 'sdext/inc')
0 files changed, 0 insertions, 0 deletions