Richard W.M. Jones b050d7e4bf valgrind: Write separate log files in tmp/valgrind-<DATE>-<PID>.log ...

Current code wrote a single valgrind.log in the top-level directory.
This was overwritten with each valgrinded program, which wasn't much
use.  The new version writes multiple separate valgrind-*.log files
containing the date and PID (so each is unique).

It would nice if valgrind could delete log files that don't contain
errors, but this doesn't appear to be possible.

2013-04-01 11:35:26 +01:00

..

.gitignore

valgrind: Write separate log files in tmp/valgrind-<DATE>-<PID>.log

2013-04-01 11:35:26 +01:00