diff options
| author | Jack Lloyd <[email protected]> | 2016-11-26 06:05:34 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-11-26 06:08:05 -0500 |
| commit | d695dfadc0daf8290d344f82697d456fd011d153 (patch) | |
| tree | 9cb0b623f8ecfa8076ab5a8c04622a161e5bdbfc /license.txt | |
| parent | f397471782357aa57b55cf8d3ec5c3018e9b0aaf (diff) | |
Add script for running lcov report
Add configure.py option --with-coverage-info which enables coverage but
does not disable optimizations. Changes the scripts to use
--with-coverage-info --no-optimization which is the same behavior as
--with-coverage except explicit about what is happening.
[ci skip]
Diffstat (limited to 'license.txt')
0 files changed, 0 insertions, 0 deletions