| commit | 86f64bd016631054f5df74b030935561397b7e75 | [log] [tgz] |
|---|---|---|
| author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Nov 18 17:12:26 2005 +0000 |
| committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Nov 18 17:12:26 2005 +0000 |
| tree | ae515bcd64a5bf53dc8a21f5ed4de400d808d9a3 | |
| parent | 1132e82f7351b636ca294e0b7466dcb9966f9988 [diff] |
Make coredump files have names like vgcore.12345 rather than vgcore.pid12345 to be consistent with all the other such cases (eg. --log-file names, cachegrind.out.12345). git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5192 a5019735-40e9-0310-863c-91ae7b9d1cf9