Python: CG trace: XML exporter will tell what file it wrote to

RasmusWL · RasmusWL · commit 14c51eb3c74e · 2020-07-23T17:38:54.000+02:00
diff --git a/python/tools/recorded-call-graph-metrics/src/cg_trace/exporter.py b/python/tools/recorded-call-graph-metrics/src/cg_trace/exporter.py
@@ -42,3 +42,5 @@ def export(outfile_path, recorded_calls, info: Dict[str, str]):
 
         tree = etree.ElementTree(root)
         tree.write(outfile_path, encoding="utf-8", pretty_print=True)
+
+        print(f"Wrote {len(recorded_calls)} recorded calls to {outfile_path}")
