|
From: <sv...@va...> - 2008-06-23 12:41:02
|
Author: bart
Date: 2008-06-23 13:41:00 +0100 (Mon, 23 Jun 2008)
New Revision: 8273
Log:
Changed the unusual "%s", "" back to "".
Modified:
trunk/exp-drd/drd_barrier.c
Modified: trunk/exp-drd/drd_barrier.c
===================================================================
--- trunk/exp-drd/drd_barrier.c 2008-06-23 12:29:53 UTC (rev 8272)
+++ trunk/exp-drd/drd_barrier.c 2008-06-23 12:41:00 UTC (rev 8273)
@@ -262,13 +262,13 @@
p = barrier_get(barrier);
if (p == 0 && barrier_type == gomp_barrier)
{
- VG_(message)(Vg_UserMsg, "%s", "");
+ VG_(message)(Vg_UserMsg, "");
VG_(message)(Vg_UserMsg,
"Please verify whether gcc has been configured"
" with option --disable-linux-futex.");
VG_(message)(Vg_UserMsg,
"See also the section about OpenMP in the DRD manual.");
- VG_(message)(Vg_UserMsg, "%s", "");
+ VG_(message)(Vg_UserMsg, "");
}
tl_assert(p);
|