|
From: <sv...@va...> - 2009-06-24 18:35:28
|
Author: bart
Date: 2009-06-24 19:35:02 +0100 (Wed, 24 Jun 2009)
New Revision: 10377
Log:
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.
Modified:
trunk/drd/drd_main.c
Modified: trunk/drd/drd_main.c
===================================================================
--- trunk/drd/drd_main.c 2009-06-24 18:34:10 UTC (rev 10376)
+++ trunk/drd/drd_main.c 2009-06-24 18:35:02 UTC (rev 10377)
@@ -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));
+ }
}
|