From c350f7ad5e05a21a88568c896e0f43b664fce9e2 Mon Sep 17 00:00:00 2001
From: jgromes <jan.gromes>
Date: Wed, 1 Jan 2025 10:33:57 +0100
Subject: [PATCH] Remove path from example filename in output

---
 extras/test/ci/parse_size.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/extras/test/ci/parse_size.sh b/extras/test/ci/parse_size.sh
index e8df27fd..bbdcb6b6 100755
--- a/extras/test/ci/parse_size.sh
+++ b/extras/test/ci/parse_size.sh
@@ -11,7 +11,13 @@ rm -f $out_file
 echo "text,data,bss,dec,hex,filename" > "$out_file"
 
 # convert to CSV
-awk 'NR > 1 {print $7 "," $8 "," $9 "," $10 "," $11 "," $12}' "$in_file" >> "$out_file"
+awk 'NR > 1 {
+  split($12, path_parts, "/");
+  filename_with_ext = path_parts[length(path_parts)];
+  split(filename_with_ext, filename_parts, ".");
+  filename = filename_parts[1];
+  print $17 "," $8 "," $9 "," $10 "," $11 "," filename
+}' "$in_file" >> "$out_file"
 
 # remove input file
 rm -f $in_file