Displaying 1 result from an estimated 1 matches for "localecategory".
2014 Jan 30
2
[PATCH] builder: output translated notes
...PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+ *)
+
+type localecategory =
+ | LC_ALL
+ | LC_CTYPE
+ | LC_NUMERIC
+ | LC_TIME
+ | LC_COLLATE
+ | LC_MONETARY
+ | LC_MESSAGES
+;;
+
+external setlocale : localecategory -> string option -> string option = "virt_builder_setlocale"
diff --git a/builder/setlocale.mli b/builder/setlocale.mli
new file mode...