test: add log to profile file position

Signed-off-by: Zxilly <[email protected]>
Zxilly · Jul 11, 2024 · 19f3b89 · 19f3b89
1 parent c7bb578
commit 19f3b89
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/tool/merge.py b/scripts/tool/merge.py
@@ -54,6 +54,8 @@ def merge_covdata_dir(d: str, output: str):
 
         if not os.path.exists(output):
             raise Exception("Failed to merge coverage data.")
+        else:
+            log(f"Saved enhanced coverage data to {output}.")
 
     def abs_path(s: str):
         return os.path.abspath(s)