diff options
Diffstat (limited to 'rtems-coverage/generate_coverage_html')
-rwxr-xr-x | rtems-coverage/generate_coverage_html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rtems-coverage/generate_coverage_html b/rtems-coverage/generate_coverage_html index bf8bec1..f94e8ea 100755 --- a/rtems-coverage/generate_coverage_html +++ b/rtems-coverage/generate_coverage_html @@ -111,7 +111,7 @@ EOF for bsp in $BSPs do cpu=`grep "^Target" ${bsp}-*/configuration.txt | \ - sed -e 's/^.*Target: *//' | sort -u | cut -d'-' -f1` + sed -e 's/^.*Target: *//' | cut -d'-' -f1 | sort -u` echo "<li><a href=\"${bsp}.html\">${cpu}/${bsp}</li>" done cat <<EOF @@ -285,6 +285,7 @@ cleanup() #BSPs=`find * -maxdepth 1 -type d | cut -d'-' -f1 | uniq | grep -v rtems` BSPs=`genBSPList` + # Let them grow for a while # cleanup |