diff options
| author | Reimar Döffinger <Reimar.Doeffinger@gmx.de> | 2011-11-29 20:35:48 +0100 |
|---|---|---|
| committer | Reimar Döffinger <Reimar.Doeffinger@gmx.de> | 2011-12-05 20:04:48 +0100 |
| commit | 840ecc9e075a0268884141eb25e4f2dc3f35d9dc (patch) | |
| tree | dc823dbda33966f995142f0f50b848c2f4d5ed46 /configure | |
| parent | 51177b1fe93297d2dbb87802ef9bc18afc72fc21 (diff) | |
Add coverage support.
Adds --enable-coverage to configure and a "coverage-html" make target.
The dependency stuff in the Makefile is a bit questionable, but the
best I could think of so far.
Signed-off-by: Reimar Döffinger <Reimar.Doeffinger@gmx.de>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -260,6 +260,7 @@ Advanced options (experts only): --optflags override optimization-related compiler flags Developer options (useful when working on FFmpeg itself): + --enable-coverage build with test coverage instrumentation --disable-debug disable debugging symbols --enable-debug=LEVEL set the debug level [$debuglevel] --disable-optimizations disable compiler optimizations @@ -1242,6 +1243,7 @@ CMDLINE_SELECT=" $CONFIG_LIST $THREADS_LIST asm + coverage cross_compile debug extra_warnings @@ -3194,6 +3196,7 @@ check_cpp_condition \ fi enabled debug && add_cflags -g"$debuglevel" && add_asflags -g"$debuglevel" +enabled coverage && add_cflags "-fprofile-arcs -ftest-coverage" && add_ldflags "-fprofile-arcs -ftest-coverage" # add some useful compiler flags if supported check_cflags -Wdeclaration-after-statement |