build with code coverage

[Norbert Thiebaud]

On Thu, Jul 11, 2013 at 10:12 AM, John Smith <lbalbalba at gmail.com> wrote:
> Of course, the right time to make use of these options is when you
> generate the html from the code coverage files, and I already deleted
> those, so I would have to run the entire build report again just to
> change the test name description.

Oh, I did not mean that... I was just suggesting it for future run :-)
it is merely a convenience thing to know quickly and precisely on
exactly what the run occured.

:-)

Norbert