commit | e5e0efa338a13922924e9e5631fc733fcf616d71 | [log] [tgz] |
---|---|---|
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Jun 24 18:35:02 2009 +0000 |
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Jun 24 18:35:02 2009 +0000 |
tree | 885b6368a8f8009fb0347f3150d6cb2931ccc444 | |
parent | 6f1d7165e418f1d8d255b5d4e93a5df3c1e5e659 [diff] |
Use the value set in the environment variable DRD_SEGMENT_MERGING_INTERVAL if the segment merging interval has not been specified as a command-line option. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10377 a5019735-40e9-0310-863c-91ae7b9d1cf9