external build statistics: always use '.' as decimal separator

2026-09-27 10:03:11 +07:00 · 2014-12-16 11:19:47 +03:00
parent f43ee2e572
commit 05c2707140
1 changed files with 1 additions and 1 deletions
@@ -340,7 +340,7 @@ public class JpsGantProjectBuilder {
                                                      String.valueOf(sources));
            if (!myBuildIncrementally && sources > 0) {
              myBuildInfoPrinter.printStatisticsMessage(JpsGantProjectBuilder.this, "Compilation time per file for '" + message.getBuilderName() + "', ms",
-                                                        String.format("%.2f", (double)message.getElapsedTimeMs() / sources));
+                                                        String.format(Locale.US, "%.2f", (double)message.getElapsedTimeMs() / sources));
            }
          }
          else if (!text.isEmpty()) {