commit e5e0efa338a13922924e9e5631fc733fcf616d71
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

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

drd/drd_main.c

diff --git a/drd/drd_main.c b/drd/drd_main.c
index 2ca6f88..e5bc738 100644
--- a/drd/drd_main.c
+++ b/drd/drd_main.c
@@ -683,6 +683,12 @@
    DRD_(suppression_init)();
 
    DRD_(clientobj_init)();
+
+   {
+      Char* const smi = VG_(getenv)("DRD_SEGMENT_MERGING_INTERVAL");
+      if (smi)
+         DRD_(thread_set_segment_merge_interval)(VG_(strtoll10)(smi, NULL));
+   }
 }