diff options
Diffstat (limited to 'rtems-coverage')
-rw-r--r-- | rtems-coverage/Categories.txt | 4 | ||||
-rw-r--r-- | rtems-coverage/SPARC-Annul-Slot-Explanation.txt | 4 | ||||
-rwxr-xr-x | rtems-coverage/coverage_cron | 3 | ||||
-rwxr-xr-x | rtems-coverage/do_coverage | 2 | ||||
-rwxr-xr-x | rtems-coverage/generate_coverage_html | 2 | ||||
-rwxr-xr-x | rtems-coverage/run_coverage | 2 |
6 files changed, 0 insertions, 17 deletions
diff --git a/rtems-coverage/Categories.txt b/rtems-coverage/Categories.txt index 7289e85..e19a456 100644 --- a/rtems-coverage/Categories.txt +++ b/rtems-coverage/Categories.txt @@ -1,7 +1,3 @@ -# -# $Id$ -# - This is the list of Explanation Categories used when analyzing RTEMS Coverage report. By using standard categories, the table filter on the web site works better. diff --git a/rtems-coverage/SPARC-Annul-Slot-Explanation.txt b/rtems-coverage/SPARC-Annul-Slot-Explanation.txt index 97a7778..8440dd7 100644 --- a/rtems-coverage/SPARC-Annul-Slot-Explanation.txt +++ b/rtems-coverage/SPARC-Annul-Slot-Explanation.txt @@ -1,7 +1,3 @@ -# -# $Id$ -# - The SPARC assembly is often hard to understand because a single instruction will show up as not executed. The instructions before and after it will be marked as executed. The instruction before diff --git a/rtems-coverage/coverage_cron b/rtems-coverage/coverage_cron index 6602f7a..d2a7b6c 100755 --- a/rtems-coverage/coverage_cron +++ b/rtems-coverage/coverage_cron @@ -1,7 +1,4 @@ #! /bin/sh -# -# $Id$ -# vfile=`dirname $0`/VERSIONS-COVERAGE if [ ! -r ${vfile} ] ; then diff --git a/rtems-coverage/do_coverage b/rtems-coverage/do_coverage index 6d1d8a0..1fea3da 100755 --- a/rtems-coverage/do_coverage +++ b/rtems-coverage/do_coverage @@ -4,8 +4,6 @@ # in a specific configuration. This script automates all steps # of building RTEMS, running the tests, and generating the reports. # -# $Id$ -# vfile=`dirname $0`/VERSIONS-COVERAGE if [ ! -r ${vfile} ] ; then diff --git a/rtems-coverage/generate_coverage_html b/rtems-coverage/generate_coverage_html index 382a733..1df2fba 100755 --- a/rtems-coverage/generate_coverage_html +++ b/rtems-coverage/generate_coverage_html @@ -2,8 +2,6 @@ # # Combine the various reports into a single html file # -# $Id$ -# vfile=`dirname $0`/VERSIONS-COVERAGE if [ ! -r ${vfile} ] ; then diff --git a/rtems-coverage/run_coverage b/rtems-coverage/run_coverage index eebc3c4..5f28e69 100755 --- a/rtems-coverage/run_coverage +++ b/rtems-coverage/run_coverage @@ -2,8 +2,6 @@ # # Script to help running coverage profiles # -# $Id$ -# vfile=`dirname $0`/VERSIONS-COVERAGE if [ ! -r ${vfile} ] ; then |