The newest version of valgrind, 3.3.0, no longer appends PIDs to log filenames
by default. Adding a %p works with this new version and is backwards compatible, though it looks a little funny. llvm-svn: 48698
Loading
Please register or sign in to comment