diff options
| author | YRabbit <rabbit@yrabbit.cyou> | 2022-03-16 15:05:27 +1000 |
|---|---|---|
| committer | YRabbit <rabbit@yrabbit.cyou> | 2022-03-16 15:05:27 +1000 |
| commit | e3b9c971f926ddf05f39eac0e37dd054ffdcdf28 (patch) | |
| tree | ca33aa6f4de04f5963d5a59592e75c69b3898022 /common | |
| parent | 2df9d3537bb4836096e157c81de20d4fa937db9a (diff) | |
| download | nextpnr-e3b9c971f926ddf05f39eac0e37dd054ffdcdf28.tar.gz nextpnr-e3b9c971f926ddf05f39eac0e37dd054ffdcdf28.tar.bz2 nextpnr-e3b9c971f926ddf05f39eac0e37dd054ffdcdf28.zip | |
BUGFIX: disable the thousands separator
The wire numbers are very large and it is undesirable to use a thousand
separator there. This is a side effect of enabling locale.
Signed-off-by: YRabbit <rabbit@yrabbit.cyou>
Diffstat (limited to 'common')
| -rw-r--r-- | common/command.cc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/common/command.cc b/common/command.cc index 0de9ccc4..00f900b3 100644 --- a/common/command.cc +++ b/common/command.cc @@ -45,10 +45,17 @@ NEXTPNR_NAMESPACE_BEGIN +struct no_separator : std::numpunct<char> +{ + protected: + virtual string_type do_grouping() const { return "\000"; } // groups of 0 (disable) +}; + CommandHandler::CommandHandler(int argc, char **argv) : argc(argc), argv(argv) { try { - std::locale::global(std::locale("")); + std::locale loc(""); + std::locale::global(std::locale(loc, new no_separator())); } catch (const std::runtime_error &e) { // the locale is broken in this system, so leave it as it is } |