From e01d38011994a8373b6be9b4704ec7baec08b73b Mon Sep 17 00:00:00 2001 From: Nicholas Nethercote Date: Fri, 18 Nov 2005 17:12:26 +0000 Subject: [PATCH] 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 --- coregrind/m_coredump/coredump-elf.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coregrind/m_coredump/coredump-elf.c b/coregrind/m_coredump/coredump-elf.c index 60d18db46c..d59eab90ca 100644 --- a/coregrind/m_coredump/coredump-elf.c +++ b/coregrind/m_coredump/coredump-elf.c @@ -311,10 +311,10 @@ void make_elf_coredump(ThreadId tid, const vki_siginfo_t *si, UInt max_size) SysRes sres; if (seq == 0) - VG_(sprintf)(buf, "%s%s.pid%d", + VG_(sprintf)(buf, "%s%s.%d", basename, coreext, VG_(getpid)()); else - VG_(sprintf)(buf, "%s%s.pid%d.%d", + VG_(sprintf)(buf, "%s%s.%d.%d", basename, coreext, VG_(getpid)(), seq); seq++; -- 2.47.2