diff --git a/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java b/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java index f1825c8df9d7d22de4ec3fc1353dfd85462ca64b..4d3dc18fd6b813760b2c9c943912932bdafb7cf8 100644 --- a/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java +++ b/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java @@ -59,10 +59,10 @@ public class CompileResultsMain { rootNode = readJsonString(); } - String basePath=jsonMainFile.getParentFile()==null?"":jsonMainFile.getParentFile().getPath(); + String basePath=jsonMainFile.getParentFile()==null?"":jsonMainFile.getParentFile().getPath() + File.separator; - File jsonPartialFile = new File(basePath + File.separator + PARTIAL_RESULT_FILENAME); - File jsonRelativeFile = new File(basePath + File.separator + RELATIVE_RESULT_FILENAME); + File jsonPartialFile = new File(basePath + PARTIAL_RESULT_FILENAME); + File jsonRelativeFile = new File(basePath + RELATIVE_RESULT_FILENAME); JsonNode resultsNode = rootNode.get(RESULTS_LABEL);