diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 2010-07-14 16:29:00 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 2010-07-14 16:29:00 +0000 |
commit | 757701c7de0d31a2cbf839ed06d6d3dc7a4cab0e (patch) | |
tree | 5f30d05cb4332b9caa905c13f4a509c5634d2a59 /rtems-coverage/do_coverage | |
parent | 4dead7ca71a12fa86b1bfb2ab5224f7c0c1368f3 (diff) |
2010-07-14 Joel Sherrill <joel.sherrilL@OARcorp.com>
* do_coverage, rtems_items.sed: Include more info in summary.
Diffstat (limited to 'rtems-coverage/do_coverage')
-rwxr-xr-x | rtems-coverage/do_coverage | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/rtems-coverage/do_coverage b/rtems-coverage/do_coverage index 90fdeaf..2394f43 100755 --- a/rtems-coverage/do_coverage +++ b/rtems-coverage/do_coverage @@ -340,6 +340,27 @@ add_to_summary() echo "Bytes in unreferenced symbols : " ${size_of} } +generate_size_per_file() +{ + total=0 + pfile=X + cut -d':' -f1 ${results_dir}/sizes_all.txt | sort -k3 | while read line + do + size=`echo $line | cut -d' ' -f1` + file=`echo $line | cut -d' ' -f3` + #echo $size XXX $file + if [ $file != $pfile ] ; then + if [ $pfile != X ]; then + echo $total $pfile + total=0 + fi + pfile=$file + fi + #echo ADD $file $total $size `expr $total + $size` + total=`expr $total + $size` + done | sort -n -r +} + # generate the coverage report set generate_reports() { @@ -409,6 +430,8 @@ generate_reports() cat ${results_dir}/sizes_unreferenced.txt ${results_dir}/sizes.txt | \ sort -n -r >${results_dir}/sizes_all.txt + generate_size_per_file >${results_dir}/size_per_file.txt + generate_html ${results_dir}/summary.txt >${results_dir}/row.html add_to_summary >>${results_dir}/summary.txt |