Don't use the VGP_ for profiling any more, just use VG_ -- we want to use
VGP_ for platform-specific things.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3435 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index 59389a5..31c465b 100644
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -2738,7 +2738,7 @@
// in pre_process_cmd_line_options() could get it earlier.
//--------------------------------------------------------------
if (VG_(clo_profile))
- VGP_(init_profiling)();
+ VG_(init_profiling)();
VGP_PUSHCC(VgpStartup);
@@ -2836,7 +2836,7 @@
print_all_stats();
if (VG_(clo_profile))
- VGP_(done_profiling)();
+ VG_(done_profiling)();
if (VG_(clo_profile_flags) > 0)
VG_(show_BB_profile)();