]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Changed the unusual "%s", "" back to "".
authorBart Van Assche <bvanassche@acm.org>
Mon, 23 Jun 2008 12:41:00 +0000 (12:41 +0000)
committerBart Van Assche <bvanassche@acm.org>
Mon, 23 Jun 2008 12:41:00 +0000 (12:41 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8273

exp-drd/drd_barrier.c

index 96e2b74cf5db2f3018fea647685ba829b4654b7b..a7cd281dcc87e1e9319fc9cac29cf6be357aeb0c 100644 (file)
@@ -262,13 +262,13 @@ void barrier_pre_wait(const DrdThreadId tid, const Addr barrier,
   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);