diff options
-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 } |