From f8ab2d093e5327f8d6ba38ca397d399b6f49b8cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 4 May 2014 22:29:23 +0100
Subject: [PATCH] work-around android bug.

---
 os/pl-text.c | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/os/pl-text.c b/os/pl-text.c
index 4cc14f321..77d6de178 100644
--- a/os/pl-text.c
+++ b/os/pl-text.c
@@ -717,12 +717,21 @@ represented.
 
 static int
 wctobuffer(wchar_t c, mbstate_t *mbs, Buffer buf)
-{ char b[PL_MB_LEN_MAX];
+{
+#if __ANDROID__
+  // wcrtomb & friends seems broken in android, just copy
+  if ( c < 256 ) {
+	  addBuffer(buf, c, 	char);
+	  return TRUE;
+  } else {
+	  return FALSE;
+  }
+#else
+  char b[PL_MB_LEN_MAX];
   size_t n;
 
   if ( (n=wcrtomb(b, c, mbs)) != (size_t)-1 )
   { size_t i;
-
     for(i=0; i<n; i++)
       addBuffer(buf, b[i], char);
 
@@ -730,6 +739,7 @@ wctobuffer(wchar_t c, mbstate_t *mbs, Buffer buf)
   }
 
   return FALSE;				/* cannot represent */
+#endif
 }