Use the value set in the environment variable DRD_SEGMENT_MERGING_INTERVAL if the...

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10377

diff --git a/drd/drd_main.c b/drd/drd_main.c
index 2ca6f882850195e8079da6da87b5230aa3a35030..e5bc7384c2ee8434f875f9a878eaa2ac25123e5e 100644 (file)
--- a/drd/drd_main.c
+++ b/drd/drd_main.c
@@ -683,6 +683,12 @@ void drd_pre_clo_init(void)
    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));
+   }
 }