X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmisc.c;h=c0120df82bfe60d35dbb06c1f64a7095eaf98062;hb=499552917fce3a3da9d0fa826e1589a1c62acf27;hp=de1ce3f5d51cf92a2632d694a1c53fd56c940daa;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp

diff --git a/src/libpspp/misc.c b/src/libpspp/misc.c
index de1ce3f5d5..c0120df82b 100644
--- a/src/libpspp/misc.c
+++ b/src/libpspp/misc.c
@@ -16,6 +16,7 @@
 
 #include <config.h>
 #include "misc.h"
+#include <gl/ftoastr.h>
 
 /* Returns the number of digits in X. */
 int
@@ -33,3 +34,23 @@ intlog10 (unsigned x)
   return digits;
 }
 
+
+/* A locale independent version of dtoastr (from gnulib) */
+int
+c_dtoastr (char *buf, size_t bufsize, int flags, int width, double x)
+{
+  int i;
+  int result = dtoastr (buf, bufsize, flags, width, x);
+
+  /* Replace the first , (if any) by a . */
+  for (i = 0; i < result; ++i)
+    {
+      if (buf[i] == ',')
+	{
+	  buf[i] = '.';
+	  break;
+	}
+    }
+
+  return result;
+}