- more workarounds

diff --git a/wxWidgets-format.patch b/wxWidgets-format.patch
index 7f912847de4c6efa5770a51804d03c76b23ec876..73f3b29e0014578bf26f1c8d3632f148861cd6d4 100644 (file)
--- a/wxWidgets-format.patch
+++ b/wxWidgets-format.patch
@@ -65,3 +65,23 @@
  
              return false;
          }
+--- wxWidgets-2.8.12/src/common/filename.cpp.orig      2011-03-22 12:59:41.000000000 +0100
++++ wxWidgets-2.8.12/src/common/filename.cpp   2012-09-30 08:26:13.781803673 +0200
+@@ -859,7 +859,7 @@
+ 
+     if ( path.empty() )
+     {
+-        wxLogSysError(_("Failed to create a temporary file name"));
++        wxLogSysError("%s", _("Failed to create a temporary file name"));
+     }
+     else
+     {
+@@ -894,7 +894,7 @@
+             //        fails, though of course it should be protected against
+             //        possible infinite looping too.
+ 
+-            wxLogError(_("Failed to open temporary file."));
++            wxLogError("%s", _("Failed to open temporary file."));
+ 
+             path.clear();
+         }