commit 0cf3e78dedf8f135666da1b82256d99c17c1d0b8
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Wed Jul 15 14:50:37 2009 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Wed Jul 15 14:50:37 2009 +0000
tree 01275856237b8d54461a0e67170f4688c0b2859e
parent c1bc9d1214d8c057eb2e96f3e96454688e5488c4

Merge exp-bbv/ changes from branches/MESSAGING_TIDYUP r10464.
See trunk r10465 commit message for details.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10470 a5019735-40e9-0310-863c-91ae7b9d1cf9

exp-bbv/bbv_main.c

diff --git a/exp-bbv/bbv_main.c b/exp-bbv/bbv_main.c
index b5db191..d1e4914 100644
--- a/exp-bbv/bbv_main.c
+++ b/exp-bbv/bbv_main.c
@@ -113,7 +113,7 @@
    sres = VG_(open)(pc_out_file, VKI_O_CREAT|VKI_O_TRUNC|VKI_O_WRONLY,
                               VKI_S_IRUSR|VKI_S_IWUSR|VKI_S_IRGRP|VKI_S_IWGRP);
    if (sr_isError(sres)) {
-      VG_UMSG("Error: cannot create pc file %s\n", pc_out_file);
+      VG_(umsg)("Error: cannot create pc file %s\n", pc_out_file);
       VG_(exit)(1);
    } else {
       pctrace_fd = sr_Res(sres);
@@ -153,7 +153,7 @@
                               VKI_S_IRUSR|VKI_S_IWUSR|VKI_S_IRGRP|VKI_S_IWGRP);
 
    if (sr_isError(sres)) {
-      VG_UMSG("Error: cannot create bb file %s\n",temp_string);
+      VG_(umsg)("Error: cannot create bb file %s\n",temp_string);
       VG_(exit)(1);
    }
 
@@ -586,7 +586,7 @@
                 bbv_thread[i].fldcw_count);
 
             /* Print results to display */
-         VG_UMSG("%s", buf);
+         VG_(umsg)("%s\n", buf);
 
             /* open the output file if it hasn't already */
          if (bbv_thread[i].bbtrace_fd < 0) {