tests/valgrind: rename name of logfile for valgrind run
authorThomas Haller <thaller@redhat.com>
Sat, 5 Dec 2015 19:21:55 +0000 (20:21 +0100)
committerThomas Haller <thaller@redhat.com>
Sat, 5 Dec 2015 19:35:16 +0000 (20:35 +0100)
commitce238a7074e1a4b78e6381ad02dbb1d17c035958
treeddccc2bf452d01e9f7c4241544bd2c0aa0239847
parent3acb6a366740086349aedca3a4e2b49709b77621
tests/valgrind: rename name of logfile for valgrind run

Change the name of the file where to store the results
of the valgrind run.

Previously the file had a prefix "valgrind-", which is inconvinient.
Instead, have the file using the same name as the test executable,
with a ".valgrind-log" suffix.
tools/run-test-valgrind.sh