24 lines
532 B
Bash
Executable file
24 lines
532 B
Bash
Executable file
#!/bin/bash
|
|
|
|
board=$1
|
|
hash=$(git rev-parse --short HEAD)
|
|
|
|
in_file="size_$board.txt"
|
|
out_file="size_${hash}_${board//:/-}.csv"
|
|
rm -f $out_file
|
|
|
|
# write the header
|
|
echo "text,data,bss,dec,hex,filename" > "$out_file"
|
|
|
|
# convert to CSV
|
|
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 $7 "," $8 "," $9 "," $10 "," $11 "," filename
|
|
}' "$in_file" >> "$out_file"
|
|
|
|
# remove input file
|
|
rm -f $in_file
|
|
|