diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 2011-01-28 21:52:52 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 2011-01-28 21:52:52 +0000 |
commit | dcc680bb11eb3f0d747b7ef8ed2dd577f195d1c6 (patch) | |
tree | 4b769dbbfb9ded85cd26b886da69b91c66fab816 /rtems-coverage | |
parent | 646abaab298e28fb6ccd31e8558b53ca88aeb65c (diff) |
2011-01-28 Joel Sherrill <joel.sherrilL@OARcorp.com>
* run_coverage: Always be verbose and echo the command line.
Diffstat (limited to 'rtems-coverage')
-rw-r--r-- | rtems-coverage/ChangeLog | 4 | ||||
-rwxr-xr-x | rtems-coverage/run_coverage | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/rtems-coverage/ChangeLog b/rtems-coverage/ChangeLog index d6e8d90..ad956eb 100644 --- a/rtems-coverage/ChangeLog +++ b/rtems-coverage/ChangeLog @@ -1,3 +1,7 @@ +2011-01-28 Joel Sherrill <joel.sherrilL@OARcorp.com> + + * run_coverage: Always be verbose and echo the command line. + 2011-01-26 Joel Sherrill <joel.sherrilL@OARcorp.com> * do_coverage, generate_coverage_html, run_coverage: Contents of diff --git a/rtems-coverage/run_coverage b/rtems-coverage/run_coverage index e8a377f..6316279 100755 --- a/rtems-coverage/run_coverage +++ b/rtems-coverage/run_coverage @@ -70,7 +70,8 @@ do_one() { bsp=${1} shift - time ${COVBASE}/do_coverage -A -u -m ${SAVE} ${PUBLISH} ${*} -B ${bsp} + echo "time ${COVBASE}/do_coverage -A -v -u -m ${SAVE} ${PUBLISH} ${*} -B ${bsp}" + time ${COVBASE}/do_coverage -A -v -u -m ${SAVE} ${PUBLISH} ${*} -B ${bsp} check_status $? "FAILED ${bsp}" rm -rf b-* *-tests } |