From a078558aafed673297bc7cc0df5a78a77992c006 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Thu, 3 Dec 2020 12:37:13 +0100
Subject: [PATCH] Further debugging.
---
.../moobench/tools/compile/results/CompileResultsMain.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
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 f1825c8..4d3dc18 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);
--
GitLab