Print vex storage stats at the end.

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

diff --git a/VEX/hacked104/vg_main.c b/VEX/hacked104/vg_main.c
index 8da7e76be846b32d0e5423c1f690e75128df1a9c..db5ce8c7da3283649751487105d8dc98c4513009 100644 (file)
--- a/VEX/hacked104/vg_main.c
+++ b/VEX/hacked104/vg_main.c
@@ -1238,6 +1238,8 @@ void VG_(main) ( void )
          "------ Valgrind's client block stats follow ---------------" );
       VG_(show_client_block_stats)();
    }
+
+   LibVEX_ClearTemporary(True);
  
 #  ifdef VG_PROFILE
    VGP_(done_profiling)();