Merge pull request #1342 from vivganes/patch-log-history-file-location

log the history file locations when set explicitly
hcoles · Aug 27, 2024 · 4ba2c54 · 4ba2c54
2 parents 46c2cfe + 9204f8a
commit 4ba2c54
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pitest-maven/src/main/java/org/pitest/maven/MojoToReportOptionsConverter.java b/pitest-maven/src/main/java/org/pitest/maven/MojoToReportOptionsConverter.java
@@ -289,7 +289,9 @@ private void determineHistory(final ReportOptions data) {
       useHistoryFileInTempDir(data);
     } else {
       data.setHistoryInputLocation(this.mojo.getHistoryInputFile());
+      log.info("Will read history at " + data.getHistoryInputLocation());
       data.setHistoryOutputLocation(this.mojo.getHistoryOutputFile());
+      log.info("Will write history at " + data.getHistoryOutputLocation());
     }
   }