|
From: <sv...@va...> - 2009-07-15 14:50:45
|
Author: sewardj
Date: 2009-07-15 15:50:37 +0100 (Wed, 15 Jul 2009)
New Revision: 10470
Log:
Merge exp-bbv/ changes from branches/MESSAGING_TIDYUP r10464.
See trunk r10465 commit message for details.
Modified:
trunk/exp-bbv/bbv_main.c
Modified: trunk/exp-bbv/bbv_main.c
===================================================================
--- trunk/exp-bbv/bbv_main.c 2009-07-15 14:50:22 UTC (rev 10469)
+++ trunk/exp-bbv/bbv_main.c 2009-07-15 14:50:37 UTC (rev 10470)
@@ -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) {
|