Show Vex storage stats at end of run.

git-svn-id: svn://svn.valgrind.org/vex/trunk@380

diff --git a/VEX/head20041019/coregrind/vg_main.c b/VEX/head20041019/coregrind/vg_main.c
index aa0ccff98d5c256655305d742388086e6961a6ee..32b34d803ee0a0a545221f389279d2a8c4ee4856 100644 (file)
--- a/VEX/head20041019/coregrind/vg_main.c
+++ b/VEX/head20041019/coregrind/vg_main.c
@@ -2890,6 +2890,9 @@ int main(int argc, char **argv)
             VG_(threads)[last_run_tid].status == VgTs_WaitJoiner);
    VG_(nuke_all_threads_except)(VG_INVALID_THREADID);
 
+   /* Print Vex storage stats */
+   LibVEX_ClearTemporary( True/*show stats*/ );
+
    //--------------------------------------------------------------
    // Exit, according to the scheduler's return code
    //--------------------------------------------------------------