From: Bart Van Assche <bvanassche@acm.org>
Date: Wed, 24 Jun 2009 18:35:02 +0000 (+0000)
Subject: Use the value set in the environment variable DRD_SEGMENT_MERGING_INTERVAL if the... 
X-Git-Tag: svn/VALGRIND_3_5_0~469
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0e909781d456c2de8db5f23a25e3567112558d31;p=thirdparty%2Fvalgrind.git

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

diff --git a/drd/drd_main.c b/drd/drd_main.c
index 2ca6f88285..e5bc7384c2 100644
--- 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));
+   }
 }