commit | 4bec7ac8fd6576b35a2edad3fabfe4b1f0971b7b | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Jun 13 11:12:06 2012 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Jun 13 11:12:06 2012 +0000 |
tree | 39d46b97c44d9caee3244db1c34431159da810af | |
parent | eecec67afdb62d5d3a1e1ab16a7b298b3a2ca426 [diff] |
Change the V output file name from out-V to out-VAL. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12634 a5019735-40e9-0310-863c-91ae7b9d1cf9