From 05c270714072b975dd758039c8217c80bc4dc751 Mon Sep 17 00:00:00 2001 From: nik Date: Tue, 16 Dec 2014 11:19:47 +0300 Subject: [PATCH] external build statistics: always use '.' as decimal separator --- .../src/org/jetbrains/jps/gant/JpsGantProjectBuilder.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jps/standalone-builder/src/org/jetbrains/jps/gant/JpsGantProjectBuilder.java b/jps/standalone-builder/src/org/jetbrains/jps/gant/JpsGantProjectBuilder.java index db384a5f3024..02774834b943 100644 --- a/jps/standalone-builder/src/org/jetbrains/jps/gant/JpsGantProjectBuilder.java +++ b/jps/standalone-builder/src/org/jetbrains/jps/gant/JpsGantProjectBuilder.java @@ -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()) {