commit | b985e2de52983cafd2d17cc6c9e60064847777fd | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Sep 29 03:03:45 2011 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Sep 29 03:03:45 2011 +0000 |
tree | 845f01e67a1f8b2933e1f146c8122317217ce2c3 | |
parent | 99b6bde003681e0c442de9f82f854cf050ccbbd0 [diff] |
Remove hardwired /tmp directory in vgdb. Honour VG_TMPDIR and TMPDIR which was introduced when fixing bugzilla #267020. Factor out VG_(tmpdir). New function VG_(vgdb_path_prefix). Partially fixes bugzilla #280757. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12063 a5019735-40e9-0310-863c-91ae7b9d1cf9