From 14c51eb3c74ebdafba1c8f32180acde33dd96489 Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Thu, 23 Jul 2020 17:38:54 +0200 Subject: [PATCH] Python: CG trace: XML exporter will tell what file it wrote to --- .../tools/recorded-call-graph-metrics/src/cg_trace/exporter.py | 2 ++ 1 file changed, 2 insertions(+) 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 index 93874c4b306..eb4a8796686 100644 --- 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 @@ class XMLExporter: 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}")