index 7fa35943816fd09e8e28b4e461b37efc5bdc69c0..de932b1592ce8826a4f9ed407da8bdd6d6da7118 100644 (file)
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
+#include <locale.h>
#ifndef BAREBUILD
#include <unistd.h> // getopt
#include <err.h>
const char *fconfig = NULL;
int ch;
+ setlocale(LC_NUMERIC, "C"); // ensure floats have decimal dot.
+
ticinit();
while ((ch = getopt(argc, argv, "12Pde:hi:lnprs:uVz")) != -1) {