From: Julian Seward <jseward@acm.org>
Date: Mon, 10 Nov 2008 16:19:21 +0000 (+0000)
Subject: Handle EvM GC messaging properly.
X-Git-Tag: svn/VALGRIND_3_4_0~134
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2a7aedcf12cf0cff65a0bba74cbb84a49c4550d1;p=thirdparty%2Fvalgrind.git

Handle EvM GC messaging properly.


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

diff --git a/helgrind/libhb_core.c b/helgrind/libhb_core.c
index 3261f25321..15a64c845c 100644
--- a/helgrind/libhb_core.c
+++ b/helgrind/libhb_core.c
@@ -3065,10 +3065,12 @@ static void event_map_maybe_GC ( void )
    }
    VG_(doneIterFM)( genMap );
 
-   VG_(printf)(
-      "libhb: EvM GC: delete generations %lu and below, "
-      "retaining %lu entries\n",
-      maxGen, retained );
+   if (VG_(clo_verbosity) > 1) {
+      VG_(message)(Vg_DebugMsg,
+         "libhb: EvM GC: delete generations %lu and below, "
+         "retaining %lu entries",
+         maxGen, retained );
+   }
 
    VG_(deleteFM)( genMap, NULL, NULL );